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.

Buy it now

Buying options

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

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

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

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.

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

Buy it now

Buying options

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