Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

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 -