Logics in Artificial Intelligence

1. Front Matter

   PDF

2. Invited Talks

   1. Justification Logic

      • Sergei Artemov

      Pages 1-4

   2. Voting in Combinatorial Domains: What Logic and AI Have to Say

      • Jérôme Lang

      Pages 5-7

3. Regular Papers

   1. Strongly Equivalent Temporal Logic Programs

      • Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

      Pages 8-20

   2. Consistency Preservation and Crazy Formulas in BMS

      • Guillaume Aucher

      Pages 21-33

   3. Propositional Clausal Defeasible Logic

      • David Billington

      Pages 34-47

   4. Complexity and Succinctness Issues for Linear-Time Hybrid Logics

      • Laura Bozzelli, Ruggero Lanotte

      Pages 48-61

   5. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

      • Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

      Pages 62-75

   6. Normal Form Nested Programs

      • Annamaria Bria, Wolfgang Faber, Nicola Leone

      Pages 76-88

   7. A Logic for Closed-World Interaction

      • Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

      Pages 89-99

   8. Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

      • Luciano Caroprese, Mirosław Truszczyński

      Pages 100-112

   9. Recovering Consistency by Forgetting Inconsistency

      • Sylvie Coste-Marquis, Pierre Marquis

      Pages 113-125

   10. On the Credal Structure of Consistent Probabilities

       • Fabio Cuzzolin

       Pages 126-139

   11. A Fluent Calculus Semantics for ADL with Plan Constraints

       • Conrad Drescher, Michael Thielscher

       Pages 140-152

   12. Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks

       • Paul E. Dunne, Martin Caminada

       Pages 153-165

   13. Query Answering in the Description Logic Horn-\(\mathcal{SHIQ}\)

       • Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Šimkus

       Pages 166-179

   14. Accommodative Belief Revision

       • Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen

       Pages 180-191

   15. Reasoning about Typicality in Preferential Description Logics

       • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

       Pages 192-205

   16. Counting Complexity of Minimal Cardinality and Minimal Weight Abduction

       • Miki Hermann, Reinhard Pichler

       Pages 206-218

   17. Uniform Interpolation by Resolution in Modal Logic

       • Andreas Herzig, Jérôme Mengin

       Pages 219-231

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

• MAS
• Multi-agent system
• artificial intelligence
• categorical logic
• deductive systems
• description logics
• epistemic logic
• formal logic
• formal reasoning
• intelligence
• logic
• logic programming
• logical inference
• machine learning
• nonmonotonic reasoning

• Department of Computer Science, TU Dresden, Germany

  Steffen Hölldobler

• Institut für Theoretische Informatik, TU Dresden, Germany

  Carsten Lutz

• Institute of Philosophy, Dresden University of Technology, Dresden, Germany

  Heinrich Wansing

Policies and ethics