ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

دانلود کتاب استدلال صحیح: مقالاتی درباره هوش مصنوعی مبتنی بر منطق به افتخار ولادیمیر لیفشیتز

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

مشخصات کتاب

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 7265 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642307430, 3642307434 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 602 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

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



کلمات کلیدی مربوط به کتاب استدلال صحیح: مقالاتی درباره هوش مصنوعی مبتنی بر منطق به افتخار ولادیمیر لیفشیتز: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان



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

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


در صورت تبدیل فایل کتاب Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب استدلال صحیح: مقالاتی درباره هوش مصنوعی مبتنی بر منطق به افتخار ولادیمیر لیفشیتز



این Festschrift که به افتخار ولادیمیر لیفشیتز به مناسبت تولد 65 سالگی وی منتشر شده است، 39 مقاله از همکارانی از سراسر جهان را ارائه می دهد که ولادیمیر لیفشیتز از جنبه های مختلف با آنها همکاری داشته است. 39 مشارکت منعکس کننده وسعت و عمق کار ولادیمیر لیفشیتز در برنامه نویسی منطقی، محدودیت، منطق پیش فرض، نظریه کنش، استدلال علّی و برنامه نویسی مجموعه پاسخ است.


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

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.



فهرست مطالب

Front Matter....Pages -
To Vladimir Lifschitz on His 65th Birthday....Pages 1-13
Vladimir Lifschitz — A Youth at 65....Pages 14-23
A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions....Pages 24-39
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL....Pages 40-56
Parameterized Splitting: A Simple Modification-Based Approach....Pages 57-71
From Primal Infon Logic with Individual Variables to Datalog....Pages 72-86
Here and There among Logics for Logic Programming....Pages 87-101
Causal Logic Programming....Pages 102-116
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying....Pages 117-133
Extending Action Language $\\mathcal{C}+$ by Formalizing Composite Actions....Pages 134-148
Strong Equivalence of RASP Programs....Pages 149-163
Considerations on Belief Revision in an Action Theory....Pages 164-177
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs....Pages 178-194
Privacy Preservation Using Multi-context Systems and Default Logic....Pages 195-210
Simulating Production Rules Using ACTHEX....Pages 211-228
Applications of Action Languages in Cognitive Robotics....Pages 229-246
The Intelligent Grounder of DLV ....Pages 247-264
Bi-state Logic....Pages 265-278
An Equational Approach to Logic Programming....Pages 279-295
Gearing Up for Effective ASP Planning....Pages 296-310
Toward Question Answering in Travel Domains....Pages 311-326
Algorithms for Solving Satisfiability Problems with Qualitative Preferences....Pages 327-344
Oscillating Behavior of Logic Programs....Pages 345-362
Applying Visible Strong Equivalence in Answer-Set Program Transformations....Pages 363-379
From Turner’s Logic of Universal Causation to the Logic of GK....Pages 380-385
Lifschitz and Circumscription....Pages 386-389
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity....Pages 390-404
Reformulating Action Language $\\mathcal{C}$ + in Answer Set Programming....Pages 405-421
The Truth about Defaults....Pages 422-435
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming....Pages 436-453
Declarative Distributed Computing....Pages 454-470
Disjunctive Programs with Set Constraints....Pages 471-486
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas....Pages 487-491
Stepwise Debugging of Description-Logic Programs....Pages 492-508
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains....Pages 509-526
A Language for Default Reasoning about Actions....Pages 527-542
Connecting First-Order ASP and the Logic FO(ID) through Reducts....Pages 543-559
A New Incarnation of Action Language H....Pages 560-575
Well-Supported Semantics for Logic Programs with Generalized Rules....Pages 576-591
Back Matter....Pages -




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