دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
دانلود کتاب منطق در هوش مصنوعی: دوازدهمین کنفرانس اروپا ، JELIA 2010 ، هلسینکی ، فنلاند ، 15-15 سپتامبر ، 2010. مجموعه مقالات
مشخصات کتاب
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
دسته بندی: منطق ویرایش: 1 نویسندگان: Gerhard Brewka (auth.), Tomi Janhunen, Ilkka Niemelä (eds.) سری: Lecture Notes in Computer Science 6341 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3642156746, 9783642156748 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 384 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب منطق در هوش مصنوعی: دوازدهمین کنفرانس اروپا ، JELIA 2010 ، هلسینکی ، فنلاند ، 15-15 سپتامبر ، 2010. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، مهندسی نرم افزار، منطق و معانی برنامه ها، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در هوش مصنوعی: دوازدهمین کنفرانس اروپا ، JELIA 2010 ، هلسینکی ، فنلاند ، 15-15 سپتامبر ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق در هوش مصنوعی: دوازدهمین کنفرانس اروپا ، JELIA 2010 ، هلسینکی ، فنلاند ، 15-15 سپتامبر ، 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین‌المللی آموزش و بازی‌های الکترونیکی، Edutainment 2010، برگزار شده در چانگچون، چین، در آگوست 2010 است. این کتاب شامل 3 سخنرانی دعوت شده، 26 مقاله منظم و 5 توضیحات سیستم است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. The book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
فهرست مطالب
Front Matter....Pages -
Nonmonotonic Tools for Argumentation....Pages 1-6
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference....Pages 7-9
Counter Systems for Data Logics....Pages 10-10
Similarity-Based Inconsistency-Tolerant Logics....Pages 11-23
Decomposition of Distributed Nonmonotonic Multi-Context Systems....Pages 24-37
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases....Pages 38-50
A Decidable Constructive Description Logic....Pages 51-63
A Normal Form for Linear Temporal Equilibrium Logic....Pages 64-76
Rational Closure for Defeasible Description Logics....Pages 77-90
Extensional Higher-Order Logic Programming....Pages 91-103
dl2asp : Implementing Default Logic via Answer Set Programming....Pages 104-116
Sets of Boolean Connectives That Make Argumentation Easier....Pages 117-129
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs....Pages 130-142
Preference-Based Inconsistency Assessment in Multi-Context Systems....Pages 143-155
A Logical Semantics for Description Logic Programs....Pages 156-168
An Incremental Answer Set Programming Based System for Finite ModelComputation....Pages 169-181
Parametrized Logic Programming....Pages 182-194
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription....Pages 195-207
${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic....Pages 208-220
Stable Belief Sets Revisited....Pages 221-233
Efficient Inferencing for OWL EL....Pages 234-246
Translating First-Order Causal Theories into Answer Set Programming....Pages 247-259
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context....Pages 260-272
Minimal Knowledge and Belief via Minimal Topology....Pages 273-285
A Logical Account of Lying....Pages 286-299
Tabling with Answer Subsumption: Implementation, Applications and Performance....Pages 300-312
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic....Pages 313-325
An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems....Pages 326-338
Horn Contraction via Epistemic Entrenchment....Pages 339-351
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems....Pages 352-355
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems....Pages 356-359
Coala: A Compiler from Action Languages to ASP....Pages 360-364
DLV MC : Enhanced Model Checking in DLV ....Pages 365-368
A Dynamic-Programming Based ASP-Solver....Pages 369-372
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Elements of Finite Model Theory
دانلود کتاب Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
دانلود کتاب Modal Logic for Open Minds
دانلود کتاب Logics of Empowerment: Development, Gender, and Governance in Neoliberal India
دانلود کتاب Digital Principles and Logic Design
دانلود کتاب Feature Logics, Infinitary Descriptions, and Grammar
دانلود کتاب Papers in Philosophical Logic: Volume 1
دانلود کتاب Dual Mode Logic: A New Paradigm for Digital IC Design
دانلود کتاب Discrete structures, logic, and computability
