دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite (eds.) سری: Lecture Notes in Computer Science 3229 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540232421, 3540302271 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 761 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 مگابایت
کلمات کلیدی مربوط به کتاب منطق در هوش مصنوعی: نهمین کنفرانس اروپا ، JELIA 2004 ، لیسبون ، پرتغال ، 27-30 سپتامبر 2004. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در هوش مصنوعی: نهمین کنفرانس اروپا ، JELIA 2004 ، لیسبون ، پرتغال ، 27-30 سپتامبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری نهمین کنفرانس اروپایی منطق در هوش مصنوعی، JELIA 2004، در لیسبون، پرتغال، در سپتامبر 2004 برگزار شد.
52 مقاله اصلاح شده کامل و 15 ارائه سیستم تجدید نظر شده مقالات ارائه شده همراه با چکیده 3 سخنرانی دعوت شده با دقت بررسی و از مجموع 169 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد سیستم های چند عاملی سازماندهی شده اند. برنامه نویسی منطقی و استدلال غیر یکنواخت؛ استدلال در شرایط عدم قطعیت؛ برنامه نویسی منطقی؛ اعمال و علیت؛ پیچیدگی؛ منطق توصیف; تجدید نظر در باور منطق های معین، مکانی و زمانی؛ اثبات قضیه؛ و برنامه های کاربردی.
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.
The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
Front Matter....Pages -
Representing and Reasoning with Preferences....Pages 1-1
Engineering of Logics for the Content-Based Representation of Information....Pages 2-3
Formal Methods in Robotics....Pages 4-4
Games for Cognitive Agents....Pages 5-17
Knowledge-Theoretic Properties of Strategic Voting....Pages 18-30
The CIFF Proof Procedure for Abductive Logic Programming with Constraints....Pages 31-43
Hierarchical Decision Making by Autonomous Agents....Pages 44-56
Verifying Communicating Agents by Model Checking in a Temporal Action Logic....Pages 57-69
Qualitative Action Theory....Pages 70-81
Practical Reasoning for Uncertain Agents....Pages 82-94
Modelling Communicating Agents in Timed Reasoning Logics....Pages 95-107
On the Relation Between ID-Logic and Answer Set Programming....Pages 108-120
An Implementation of Statistical Default Logic....Pages 121-133
Capturing Parallel Circumscription with Disjunctive Logic Programs....Pages 134-146
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning....Pages 147-160
Characterizations for Relativized Notions of Equivalence in Answer Set Programming....Pages 161-173
Equivalence of Logic Programs Under Updates....Pages 174-186
Cardinality Constraint Programs....Pages 187-199
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity....Pages 200-212
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach....Pages 213-225
A Logic with Conditional Probabilities....Pages 226-238
Reasoning About Quantum Systems....Pages 239-251
Sorted Multi-adjoint Logic Programs: Termination Results and Applications....Pages 252-265
The Modal Logic Programming System MProlog....Pages 266-278
Soundness and Completeness of an “Efficient” Negation for Prolog....Pages 279-293
Logic Programs with Functions and Default Values....Pages 294-306
Parallel Encodings of Classical Planning as Satisfiability....Pages 307-319
Relational Markov Games....Pages 320-333
On the Logic of ‘Being Motivated to Achieve ρ , Before δ ’....Pages 334-346
Representation and Complexity in Boolean Games....Pages 347-359
Complexity in Value-Based Argument Systems....Pages 360-371
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment....Pages 372-384
Transforming Fuzzy Description Logics into Classical Description Logics....Pages 385-399
Computing the Least Common Subsumer w.r.t. a Background Terminology....Pages 400-412
Explaining Subsumption by Optimal Interpolation....Pages 413-425
Two Approaches to Merging Knowledge Bases....Pages 426-438
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment....Pages 439-451
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach....Pages 452-461
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems....Pages 462-473
Line-Based Affine Reasoning in Euclidean Plane....Pages 474-486
Measure Logics for Spatial Reasoning....Pages 487-499
Only Knowing with Confidence Levels: Reductions and Complexity....Pages 500-512
Time Granularities and Ultimately Periodic Automata....Pages 513-525
Polynomial Approximations of Full Propositional Logic via Limited Bivalence....Pages 526-538
Some Techniques for Branch-Saturation in Free-Variable Tableaux....Pages 539-551
Semantic Knowledge Partitioning....Pages 552-564
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs....Pages 565-577
Discovering Anomalies in Evidential Knowledge by Logic Programming....Pages 578-590
Logic Programming Infrastructure for Inferences on FrameNet....Pages 591-603
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS....Pages 604-616
Automatic Compilation of Protocol Insecurity Problems into Logic Programming....Pages 617-627
Exploiting Functional Dependencies in Declarative Problem Specifications....Pages 628-640
Combining Decision Procedures for Sorted Theories....Pages 641-653
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving....Pages 654-666
Towards a Logical Analysis of Biochemical Pathways....Pages 667-679
Abductive Logic Programming with CIFF: System Description....Pages 680-684
The DALI Logic Programming Agent-Oriented Language....Pages 685-688
Qsmodels: ASP Planning in Interactive Gaming Environment....Pages 689-692
A System with Template Answer Set Programs....Pages 693-697
New DLV Features for Data Integration....Pages 698-701
Profiling Answer Set Programming: The Visualization Component of the noMoRe System....Pages 702-705
The PLP System....Pages 706-709
The MyYapDB Deductive Database System....Pages 710-713
InterProlog: Towards a Declarative Embedding of Logic Programming in Java....Pages 714-717
IndLog — Induction in Logic....Pages 718-721
OLEX – A Reasoning-Based Text Classifier....Pages 722-725
Verdi : An Automated Tool for Web Sites Verification....Pages 726-729
SATMC: A SAT-Based Model Checker for Security Protocols....Pages 730-733
tabeql : A Tableau Based Suite for Equilibrium Logic....Pages 734-737
tascpl : TAS Solver for Classical Propositional Logic....Pages 738-741
Back Matter....Pages -