دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 32,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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Weird Worlds: Bizarre Bodies of the Solar System and Beyond
دانلود کتاب Book of Topiary
دانلود کتاب Field Maint. - Cal. .30 Browning Automatic Rifle M1918A2 [TM 9-2111-1]
دانلود کتاب Ayn Rand and the Russian Intelligentsia: The Origins of an Icon of the American Right
