دانلود کتاب Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
دسته: برنامه نويسي
کتاب کاربردهای برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی، INAP 2009، Évora، پرتغال، 3-5 نوامبر 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب کاربردهای برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی، INAP 2009، Évora، پرتغال، 3-5 نوامبر 2009، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
نام کتاب : Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : کاربردهای برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی، INAP 2009، Évora، پرتغال، 3-5 نوامبر 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6547 Lecture Notes in Artificial Intelligence
نویسندگان : Terrance Swift (auth.), Salvador Abreu, Dietmar Seipel (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 248
ISBN (شابک) : 9783642205897 , 3642205895
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هجدهمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلامی و مدیریت دانش، INAP 2009، برگزار شده در اورا، پرتغال، در نوامبر 2009 است. 12 مقاله کامل اصلاح شده به همراه 2 مقاله دعوت شده ارائه شده است. گفتگوها طی دو دور بررسی و بهبود به دقت بررسی و انتخاب شدند. این کنفرانس به طور جامع تأثیر حل‌کننده‌های منطق قابل برنامه‌ریزی را در جامعه اینترنتی، فناوری‌های زیربنایی آن و کاربردهای پیشرو در صنعت، تجارت، دولت و خدمات اجتماعی پوشش می‌دهد. موضوعات مقالات منتخب بر سه حوزه مهم در حال حاضر متمرکز است: مبانی و توسعه برنامه‌نویسی منطقی، پایگاه‌های داده و زبان‌های پرس و جو، برنامه‌نویسی اعلامی با زبان‌های منطقی، و کاربردهای آن.
فهرست مطالب :
Front Matter....Pages -
Design Patterns for Tabled Logic Programming....Pages 1-19
An Alternative High-Level Approach to Interaction with Databases....Pages 20-39
ISTO: A Language for Temporal Organizational Information Systems....Pages 40-51
Programming Patterns for Logtalk Parametric Objects....Pages 52-69
Stabel Model Implementation of Layer Supported Models by Program Transformation....Pages 70-84
Towards Computing Revised Models for FO Theories....Pages 85-101
Adaptive Reasoning for Cooperative Agents....Pages 102-116
Extending XQuery for Semantic Web Reasoning....Pages 117-134
Reference Model and Perspective Schemata Inference for Enterprise Data Integration....Pages 135-152
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements....Pages 153-169
Elder Care via Intention Recognition and Evolution Prospection....Pages 170-187
Knowledge Management Strategy and Tactics for Forging Die Design Support....Pages 188-204
Searching in Protein State Space....Pages 205-222
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis....Pages 223-238
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.