دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) سری: Lecture Notes in Computer Science 1919 ISBN (شابک) : 9783540411314, 9783540400066 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 417 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب منطق در هوش مصنوعی: کارگاه اروپایی، JELIA 2000 مالاگا، اسپانیا، 29 سپتامبر - 2 اکتبر 2000 مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در هوش مصنوعی: کارگاه اروپایی، JELIA 2000 مالاگا، اسپانیا، 29 سپتامبر - 2 اکتبر 2000 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری کارگاه اروپایی منطق در هوش مصنوعی، JELIA 2000 است که در مالاگا، اسپانیا در سپتامبر/اکتبر 2000 برگزار شد. . مقالات در بخشهای موضوعی در بازنمایی دانش، استدلال در مورد اعمال، تجدید نظر در باور، اثبات قضیه، استدلال، عوامل، تصمیمپذیری و پیچیدگی، بهروزرسانیها و ترجیحات سازماندهی شدهاند.
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.
‘On Being Informed’: Update Logics for Knowledge States....Pages 1-1
Considerations on Updates of Logic Programs....Pages 2-20
The Approach: Integrating Object Oriented Design and Formal Verification....Pages 21-36
Semi-qualitative Reasoning about Distances: A Preliminary Report....Pages 37-56
Reduction Theorems for Boolean Formulas Using Δ-Trees....Pages 179-192
Simultaneous Rigid Sorted Unification....Pages 193-208
Partially Adaptive Code Trees....Pages 209-223
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments....Pages 224-238
Credulous and Sceptical Argument Games for Preferred Semantics....Pages 239-253
A General Approach to Multi-agent Minimal Knowledge....Pages 254-268
A Modal Logic for Network Topologies....Pages 269-283
Avoiding Logical Omniscience by Using Subjective Situations....Pages 284-299
Hybrid Probabilistic Logic Programs as Residuated Logic Programs....Pages 57-72
Topo-distance: Measuring the Difference between Spatial Patterns....Pages 73-86
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus....Pages 87-101
Capturing Stationary and Regular Extensions with Reiter’s Extensions....Pages 102-117
Representing the Process Semantics in the Event Calculus....Pages 118-132
Declarative Formalization of Strategies for Action Selection: Applications to Planning....Pages 133-147
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases....Pages 148-162
Acceptance Without Minimality....Pages 163-178
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases....Pages 300-312
Monodic Epistemic Predicate Logic....Pages 313-328
Updates plus Preferences....Pages 329-344
A Framework for Belief Update....Pages 345-360
A Compilation of Brewka and Eiter’s Approach to Prioritization....Pages 361-375
A Logic for Modeling Decision Making with Dynamic Preferences....Pages 376-390
....Pages 391-406