Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Steffen Hölldobler

    1. Department of Computer Science, TU Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carsten Lutz

    1. Institut für Theoretische Informatik, TU Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Heinrich Wansing

    1. Institute of Philosophy, Dresden University of Technology, Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5293)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: JELIA 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation