ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

دانلود کتاب برنامه نویسی منطقی ، بازنمایی دانش و استدلال غیرمونوتونیک: مقالاتی به مناسبت 65 سالگی تولد مایکل گلفوند

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

مشخصات کتاب

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 6565 Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 3642208312, 9783642208317 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 528 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی ، بازنمایی دانش و استدلال غیرمونوتونیک: مقالاتی به مناسبت 65 سالگی تولد مایکل گلفوند: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطقی ، بازنمایی دانش و استدلال غیرمونوتونیک: مقالاتی به مناسبت 65 سالگی تولد مایکل گلفوند نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی منطقی ، بازنمایی دانش و استدلال غیرمونوتونیک: مقالاتی به مناسبت 65 سالگی تولد مایکل گلفوند



این جلد Festschrift که به افتخار مایکل گلفوند به مناسبت تولد 65 سالگی او منتشر شد، حاوی مجموعه ای از مقالات نوشته شده توسط نزدیکترین دوستان و همکارانش است. تعدادی از این مقالات در طول سمپوزیوم ریاضیات سازنده در علوم کامپیوتر، که در 25 تا 26 اکتبر 2010 در لکسینگتون، KY، ایالات متحده برگزار شد، ارائه شد.

27 مقاله علمی موجود در کتاب بر مجموعه پاسخ ها تمرکز دارند برنامه نويسي. مقالات در بخش‌هایی با نام‌های «مبانی: ASP و نظریه‌های LP، KR، و NMR»، «ASP و دامنه‌های پویا» و «ASP – کاربردها و ابزارها» سازمان‌دهی شده‌اند.


توضیحاتی درمورد کتاب به خارجی

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010.

The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.



فهرست مطالب

Front Matter....Pages -
Homage to Michael Gelfond on His 65 th Birthday....Pages 1-11
Answer Set Programming’s Contributions to Classical Logic....Pages 12-32
Closure and Consistency Rationalities in Logic-Based Argumentation....Pages 33-43
Manifold Answer-Set Programs and Their Applications....Pages 44-63
On the Minimality of Stable Models....Pages 64-73
Challenges in Answer Set Solving....Pages 74-90
Exploring Relations between Answer Set Programs....Pages 91-110
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses....Pages 111-130
Effectively Reasoning about Infinite Sets in Answer Set Programming....Pages 131-147
Inspecting Side-Effects of Abduction in Logic Programs....Pages 148-163
Argumentation and Answer Set Programming....Pages 164-180
Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond....Pages 181-190
Recollections on Michael Gelfond’s 65th Birthday....Pages 191-192
Evolving Logic Programs with Temporal Operators....Pages 193-212
On Representing Actions in Multi-agent Domains....Pages 213-232
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources....Pages 233-258
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change....Pages 259-279
Refinement of History-Based Policies....Pages 280-299
Translating General Game Descriptions into an Action Language....Pages 300-314
Revisiting Epistemic Specifications....Pages 315-333
Answer Set; Programming?....Pages 334-343
Michael Gelfond: Essay in Honour of His 65th Birthday....Pages 344-346
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information....Pages 347-376
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory....Pages 377-397
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design....Pages 398-414
Applications of Answer Set Programming in Phylogenetic Systematics....Pages 415-431
ASP at Work: Spin-off and Applications of the DLV System....Pages 432-451
Combining Answer Set Programming and Prolog: The $\\mathbb{ASP{-}PROLOG}$ System....Pages 452-472
On the Practical Side of Answer Set Programming....Pages 473-489
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents....Pages 490-509
Tea Times with Gelfond....Pages 510-512
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی