دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
دانلود کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هفدهمین کنفرانس بین المللی ، INAP 2007 و بیست و یکمین کارگاه برنامه نویسی منطق ، WLP 2007 ، Würzburg ، آلمان ، 4-6 اکتبر 2007 ، نسخه های تجدید نظر شده
مشخصات کتاب
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
ویرایش: 1 نویسندگان: Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) سری: Lecture Notes in Computer Science 5437 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642006746, 9783642006753 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 262 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هفدهمین کنفرانس بین المللی ، INAP 2007 و بیست و یکمین کارگاه برنامه نویسی منطق ، WLP 2007 ، Würzburg ، آلمان ، 4-6 اکتبر 2007 ، نسخه های تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هفدهمین کنفرانس بین المللی ، INAP 2007 و بیست و یکمین کارگاه برنامه نویسی منطق ، WLP 2007 ، Würzburg ، آلمان ، 4-6 اکتبر 2007 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هفدهمین کنفرانس بین المللی ، INAP 2007 و بیست و یکمین کارگاه برنامه نویسی منطق ، WLP 2007 ، Würzburg ، آلمان ، 4-6 اکتبر 2007 ، نسخه های تجدید نظر شده
این جلد مجموعه مقالات پس از کنفرانس هفدهمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلانی و مدیریت دانش، INAP 2007، و بیست و یکمین کارگاه برنامه نویسی منطقی، WLP 2007، که در وورزبورگ، آلمان برگزار شد، تشکیل شده است. در طی 4 تا 6 اکتبر 2007.
16 مقاله کامل اصلاح شده ارائه شده همراه با 1 مقاله دعوت شده به دقت بررسی و از بین ارسال های متعدد انتخاب شدند. موضوعات تحت پوشش محدودیت ها هستند. پایگاه های داده و داده کاوی؛ پسوند برنامه نویسی منطقی؛ و نمایش سیستم.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007.
The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.
فهرست مطالب
Front Matter....Pages I-X
A Guide for Manual Construction of Difference-List Procedures....Pages 1-20
Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource....Pages 21-37
Efficient Edge-Finding on Unary Resources with Optional Activities....Pages 38-53
Encoding of Planning Problems and Their Optimizations in Linear Logic....Pages 54-68
Constraint-Based Timetabling System for the German University in Cairo....Pages 69-81
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications....Pages 82-98
Relational Models for Tabling Logic Programs in a Database....Pages 99-116
Integrating XQuery and Logic Programming....Pages 117-135
Causal Subgroup Analysis for Detecting Confounding....Pages 136-148
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining....Pages 149-164
Integrating Temporal Annotations in a Modular Logic Language....Pages 165-177
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators....Pages 178-194
The Kiel Curry System K i CS....Pages 195-205
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics....Pages 206-222
Java Type Unification with Wildcards....Pages 223-240
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc ⊤ ....Pages 241-246
spock : A Debugging Support Tool for Logic Programs under the Answer-Set Semantics....Pages 247-252
Back Matter....Pages 253-253
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Land Shall Be Deluged in Blood: A New History of the Nat Turner Revolt
دانلود کتاب P-Type ATPases: Methods and Protocols
دانلود کتاب FutureRitual: Magick for the 21st Century
دانلود کتاب Responding to Oil Spills in the U.S. Arctic Marine Environment
