人工智能中的逻辑

出版时间：2006-12  出版社：湖北辞书出版社  作者：Fisher, Micheal; Van Der Hoek, Wiebe; Konev, Boris  页数：516  

内容概要

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, held in Liverpool, UK in September 2006.    The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

书籍目录

Ⅰ Invited Talks  From Inductive Logic Programming to Relational Data Mining  Answer Set Programming: A Declarative Approach to Solving Search Problems  Inconsistencies in OntologiesⅡ Technical Papers  On Arbitrary Selection Strategies for Basic Superposition  An Event-Condition-Action Logic Programming Language  Distance-Based Repairs of Databases  Natural Deduction Calculus for Linear-Time Temporal Logic  A STIT-Extension of ATL  On the Logic and Computation of Partial Equilibrium Models  Decidable Fragments of Logic ProgramIning with Value Invention  On the Issue of Reinstatement in Argumentation  Comparing Action Descriptions Based on Semantic Preferences  Modal Logics of Negotiation and Preference  Representing Action Domains with Numeric-Valued Fluents  Model Representation over Finite and Infinite Signatures  Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies  Analytic Tableau Calculi for KLM Rational Logic R  On the Semantics of Logic Programs with Preferences  A Modularity Approach for a Fragment of ALC  Whatever You Say  Automatic Deductive Synthesis of Lisp Programs in the System ALISA  A Fault-Tolerant Default Logic  Reasoning About Actions Using Description Logics with General TBoxes  Introducing Attempt in a Modal Logic of Intentional Action  On Herbrand's Theorem for Intuitionistic Logic  ……Ⅲ Tool DescriptionsAuthor Index