دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
دانلود کتاب برنامه نویسی اعلامی و مدیریت دانش: کنفرانس برنامه نویسی اعلامی، DECLARE 2017، متحد کردن INAP، WFLP، و WLP، وورزبورگ، آلمان، 19 تا 22 سپتامبر 2017، مقالات منتخب اصلاح شده
مشخصات کتاب
Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ویرایش: 1st ed. نویسندگان: Dietmar Seipel, Michael Hanus, Salvador Abreu سری: Lecture Notes in Computer Science 10997 ISBN (شابک) : 9783030008000 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 221 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب برنامه نویسی اعلامی و مدیریت دانش: کنفرانس برنامه نویسی اعلامی، DECLARE 2017، متحد کردن INAP، WFLP، و WLP، وورزبورگ، آلمان، 19 تا 22 سپتامبر 2017، مقالات منتخب اصلاح شده: علوم کامپیوتر، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مهندسی نرم افزار، محاسبات عددی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی اعلامی و مدیریت دانش: کنفرانس برنامه نویسی اعلامی، DECLARE 2017، متحد کردن INAP، WFLP، و WLP، وورزبورگ، آلمان، 19 تا 22 سپتامبر 2017، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی اعلامی و مدیریت دانش: کنفرانس برنامه نویسی اعلامی، DECLARE 2017، متحد کردن INAP، WFLP، و WLP، وورزبورگ، آلمان، 19 تا 22 سپتامبر 2017، مقالات منتخب اصلاح شده
این کتاب شامل مقالات منتخب بازبینی شده از بیست و یکمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلانی و مدیریت دانش، INAP 2017، سی و یکمین کارگاه برنامه نویسی منطقی، WLP 2017، و بیست و پنجمین کارگاه آموزشی منطق عملکردی و (محدودیت) است. برنامه نویسی، WFLP 2017. 12 مقاله کامل ارائه شده در این جلد به دقت بررسی و از بین 26 مقاله ارسالی انتخاب شدند. مشارکت‌ها در بخش‌های موضوعی به نام‌های زیر سازماندهی شدند: محدودیت‌ها. سیستم های اعلامی؛ و برنامه نویسی تابعی و منطقی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.
فهرست مطالب
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Constraint Solving on Hybrid Systems (Pedro Roque, Vasco Pedro)....Pages 3-19
Run-Time Analysis of Temporal Constrained Objects (Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan)....Pages 20-36
Implementation of Logical Retraction in Constraint Handling Rules with Justifications (Thom Frühwirth)....Pages 37-52
The Proportional Constraint and Its Pruning (Armin Wolf)....Pages 53-63
An Operational Semantics for Constraint-Logic Imperative Programming (Jan C. Dageförde, Herbert Kuchen)....Pages 64-80
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving (Ke Liu, Sven Löffler, Petra Hofstedt)....Pages 81-94
Front Matter ....Pages 95-95
Declarative Aspects in Explicative Data Mining for Computational Sensemaking (Martin Atzmueller)....Pages 97-114
An Approach for Representing Answer Sets in Natural Language (Min Fang, Hans Tompits)....Pages 115-131
Techniques for Efficient Lazy-Grounding ASP Solving (Lorenz Leutgeb, Antonius Weinzierl)....Pages 132-148
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters (Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz)....Pages 149-165
Front Matter ....Pages 167-167
Concolic Testing of Functional Logic Programs (Jan Rasmus Tikovsky)....Pages 169-186
Declarative XML Schema Validation with SWI–Prolog (Falco Nogatz, Jona Kalkus)....Pages 187-197
plspec – A Specification Language for Prolog Data (Philipp Körner, Sebastian Krings)....Pages 198-213
Back Matter ....Pages 215-215
