Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Luis Fariñas Cerro

    1. Institut de Recherche en Informatique de Toulouse, Toulouse Cedex 9, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andreas Herzig

    1. Institut de Recherche en Informatique de Toulouse, Toulouse Cedex 9, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jérôme Mengin

    1. Institut de Recherche en Informatique de Toulouse, Toulouse Cedex 9, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: JELIA 2012.

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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Regular Papers

    1. Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models

      • Régis Alenda, Nicola Olivetti
      Pages 1-13

    2. Nested Sequent Calculi for Conditional Logics

      • Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
      Pages 14-27

    3. Conflict-Tolerant Semantics for Argumentation Frameworks

      • Ofer Arieli
      Pages 28-40

    4. Knowledge Means ‘All’, Belief Means ‘Most’

      • Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
      Pages 41-53

    5. Generalized DEL-Sequents

      • Guillaume Aucher, Bastien Maubert, François Schwarzentruber
      Pages 54-66

    6. Deciding the Bisimilarity Relation between Datalog Goals

      • Philippe Balbiani, Antoun Yaacoub
      Pages 67-79

    7. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

      • Harald Beck, Thomas Eiter, Thomas Krennwallner
      Pages 80-93

    8. Conditional Epistemic Planning

      • Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
      Pages 94-106

    9. PTL: A Propositional Typicality Logic

      • Richard Booth, Thomas Meyer, Ivan Varzinczak
      Pages 107-119

    10. The Complexity of One-Agent Refinement Modal Logic

      • Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
      Pages 120-133

    11. The View-Update Problem for Indefinite Databases

      • Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano
      Pages 134-146

    12. Three-Valued Logics for Incomplete Information and Epistemic Logic

      • Davide Ciucci, Didier Dubois
      Pages 147-159

    13. Exploiting Unfounded Sets for HEX-Program Evaluation

      • Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
      Pages 160-175

    14. Using Satisfiability for Non-optimal Temporal Planning

      • Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani
      Pages 176-188

    15. How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic

      • Marc Finthammer, Christoph Beierle
      Pages 189-201

    16. Exact Query Reformulation with First-Order Ontologies and Databases

      • Enrico Franconi, Volha Kerhet, Nhung Ngo
      Pages 202-214

    17. A Selective Semantics for Logic Programs with Preferences

      • Alfredo Gabaldon
      Pages 215-227

    18. A Minimal Model Semantics for Nonmonotonic Reasoning

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 228-241

    19. Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights

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

Other volumes

  1. Logics in Artificial Intelligence

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation