Skip to main content
  • Conference proceedings
  • © 2012

Logics in Artificial Intelligence

13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings

  • Fast-track conference proceedings

  • State-of-the-art research

  • Up-to-date results

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

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

Conference series link(s): JELIA: European Conference on Logics in Artificial Intelligence

Conference proceedings info: JELIA 2012.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33353-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (41 papers)

  1. Front Matter

  2. Regular Papers

    1. Nested Sequent Calculi for Conditional Logics

      • Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
      Pages 14-27
    2. Knowledge Means ‘All’, Belief Means ‘Most’

      • Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
      Pages 41-53
    3. Generalized DEL-Sequents

      • Guillaume Aucher, Bastien Maubert, François Schwarzentruber
      Pages 54-66
    4. Deciding the Bisimilarity Relation between Datalog Goals

      • Philippe Balbiani, Antoun Yaacoub
      Pages 67-79
    5. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

      • Harald Beck, Thomas Eiter, Thomas Krennwallner
      Pages 80-93
    6. Conditional Epistemic Planning

      • Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
      Pages 94-106
    7. PTL: A Propositional Typicality Logic

      • Richard Booth, Thomas Meyer, Ivan Varzinczak
      Pages 107-119
    8. The Complexity of One-Agent Refinement Modal Logic

      • Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
      Pages 120-133
    9. The View-Update Problem for Indefinite Databases

      • Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano
      Pages 134-146
    10. Three-Valued Logics for Incomplete Information and Epistemic Logic

      • Davide Ciucci, Didier Dubois
      Pages 147-159
    11. Exploiting Unfounded Sets for HEX-Program Evaluation

      • Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
      Pages 160-175
    12. Using Satisfiability for Non-optimal Temporal Planning

      • Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani
      Pages 176-188
    13. Exact Query Reformulation with First-Order Ontologies and Databases

      • Enrico Franconi, Volha Kerhet, Nhung Ngo
      Pages 202-214
    14. A Minimal Model Semantics for Nonmonotonic Reasoning

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 228-241
    15. Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights

      • Lluís Godo, Enrico Marchioni, Pere Pardo
      Pages 242-254

Other Volumes

  1. Logics in Artificial Intelligence

    13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

About this book

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012.
The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.

Keywords

  • argumentation
  • beliefs
  • logic programs
  • planning
  • reasoning

Editors and Affiliations

  • Institut de Recherche en Informatique de Toulouse, Toulouse Cedex 9, France

    Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33353-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)