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.
Author(s): Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.)
Series: Lecture Notes in Computer Science 4160 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 520
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages
Front Matter....Pages -
From Inductive Logic Programming to Relational Data Mining....Pages 1-14
Answer Set Programming: A Declarative Approach to Solving Search Problems....Pages 15-18
Inconsistencies in Ontologies....Pages 19-19
On Arbitrary Selection Strategies for Basic Superposition....Pages 20-28
An Event-Condition-Action Logic Programming Language....Pages 29-42
Distance-Based Repairs of Databases....Pages 43-55
Natural Deduction Calculus for Linear-Time Temporal Logic....Pages 56-68
A STIT-Extension of ATL....Pages 69-81
On the Logic and Computation of Partial Equilibrium Models....Pages 82-94
Decidable Fragments of Logic Programming with Value Invention....Pages 95-110
On the Issue of Reinstatement in Argumentation....Pages 111-123
Comparing Action Descriptions Based on Semantic Preferences....Pages 124-137
Modal Logics of Negotiation and Preference....Pages 138-150
Representing Action Domains with Numeric-Valued Fluents....Pages 151-163
Model Representation over Finite and Infinite Signatures....Pages 164-176
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies....Pages 177-189
Analytic Tableau Calculi for KLM Rational Logic R ....Pages 190-202
On the Semantics of Logic Programs with Preferences....Pages 203-215
A Modularity Approach for a Fragment of $\mathcal{ALC}$ ....Pages 216-228
Whatever You Say....Pages 229-241
Automatic Deductive Synthesis of Lisp Programs in the System ALISA....Pages 242-252
A Fault-Tolerant Default Logic....Pages 253-265
Reasoning About Actions Using Description Logics with General TBoxes....Pages 266-279
Introducing Attempt in a Modal Logic of Intentional Action....Pages 280-292
On Herbrand’s Theorem for Intuitionistic Logic....Pages 293-305
Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics....Pages 306-318
Hierarchical Argumentation....Pages 319-332
Anti-prenexing and Prenexing for Modal Logics....Pages 333-345
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$ ....Pages 346-358
Fuzzy Answer Set Programming....Pages 359-372
Reasoning About an Agent Based on Its Revision History with Missing Inputs....Pages 373-385
Knowledge Base Revision in Description Logics....Pages 386-398
Incomplete Knowledge in Hybrid Probabilistic Logic Programs....Pages 399-412
A Formal Analysis of KGP Agents....Pages 413-425
Irrelevant Updates and Nonmonotonic Assumptions....Pages 426-438
Towards Top-k Query Answering in Description Logics: The Case of DL-Lite....Pages 439-451
Representing Causal Information About a Probabilistic Process....Pages 452-464
A Tool to Facilitate Agent Deliberation....Pages 465-468
An Implementation of a Lightweight Argumentation Engine for Agent Applications....Pages 469-472
A Tool for Answering Queries on Action Descriptions....Pages 473-476
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs....Pages 477-480
April – An Inductive Logic Programming System....Pages 481-484
optsat : A Tool for Solving SAT Related Optimization Problems....Pages 485-489
Automated Reasoning About Metric and Topology....Pages 490-493
The QBFEVAL Web Portal....Pages 494-497
A Slicing Tool for Lazy Functional Logic Programs....Pages 498-501
cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics....Pages 502-505
A Logic-Based Tool for Semantic Information Extraction....Pages 506-510
tarfa : Tableaux and Resolution for Finite Abduction....Pages 511-514
Back Matter....Pages -
