دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
دانلود کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی ، INAP 2009 ، اوورا ، پرتغال ، 3-5 نوامبر 2009 ، نسخه های تجدید نظر شده
مشخصات کتاب
Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Terrance Swift (auth.), Salvador Abreu, Dietmar Seipel (eds.) سری: Lecture Notes in Computer Science 6547 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642205897, 3642205895 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 248 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی ، INAP 2009 ، اوورا ، پرتغال ، 3-5 نوامبر 2009 ، نسخه های تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی ، INAP 2009 ، اوورا ، پرتغال ، 3-5 نوامبر 2009 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه های کاربردی برنامه نویسی اعلانی و مدیریت دانش: هجدهمین کنفرانس بین المللی ، INAP 2009 ، اوورا ، پرتغال ، 3-5 نوامبر 2009 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هجدهمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلامی و مدیریت دانش، INAP 2009، برگزار شده در اورا، پرتغال، در نوامبر 2009 است. 12 مقاله کامل اصلاح شده به همراه 2 مقاله دعوت شده ارائه شده است. گفتگوها طی دو دور بررسی و بهبود به دقت بررسی و انتخاب شدند. این کنفرانس به طور جامع تأثیر حل‌کننده‌های منطق قابل برنامه‌ریزی را در جامعه اینترنتی، فناوری‌های زیربنایی آن و کاربردهای پیشرو در صنعت، تجارت، دولت و خدمات اجتماعی پوشش می‌دهد. موضوعات مقالات منتخب بر سه حوزه مهم در حال حاضر متمرکز است: مبانی و توسعه برنامه‌نویسی منطقی، پایگاه‌های داده و زبان‌های پرس و جو، برنامه‌نویسی اعلامی با زبان‌های منطقی، و کاربردهای آن.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Microsoft Press - Installing, Configuring and Administering Windows XP Professional, 2nd [MCSA MCSE Self-Paced Training Kit 70-270]Ed
دانلود کتاب Murach’s Python programming : beginner to pro
دانلود کتاب Murach’s PHP and MySQL : training & reference
دانلود کتاب React Cookbook
دانلود کتاب Quantitative Finance : An Object-Oriented Approach in C++
دانلود کتاب C++: The Complete Reference
دانلود کتاب C# Deconstructed Discover How C# Works on the .Net Framework
دانلود کتاب WPF Programmer’s Reference: Windows Presentation Foundation with C# 2010 and .NET 4
دانلود کتاب Microsoft Forefront Security Administration Guide
