Advertisement

Logics in Artificial Intelligence

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

  • Luis Fariñas del Cerro
  • Andreas Herzig
  • Jérôme Mengin
Conference proceedings JELIA 2012

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7519)

Table of contents

  1. Front Matter
    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
      PDF
    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
      PDF
    17. A Selective Semantics for Logic Programs with Preferences
      Alfredo Gabaldon
      Pages 215-227
      PDF
    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
    20. On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
      Joanna Golińska-Pilarek
      Pages 255-266
    21. Fault Tolerance in Belief Formation Networks
      Sarah Holbrook, Pavel Naumov
      Pages 267-280
    22. Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
      Naoya Inoue, Kentaro Inui
      Pages 281-293
    23. Belief Base Change Operations for Answer Set Programming
      Patrick Krümpelmann, Gabriele Kern-Isberner
      Pages 294-306
    24. A Framework for Semantic-Based Similarity Measures for \(\mathcal{ELH}\)-Concepts
      Karsten Lehmann, Anni-Yasmin Turhan
      Pages 307-319
    25. Sequent Systems for Lewis’ Conditional Logics
      Björn Lellmann, Dirk Pattinson
      Pages 320-332
    26. Relevant Minimal Change in Belief Update
      Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang
      Pages 333-345
      PDF
    27. Minimal Proof Search for Modal Logic K Model Checking
      Abdallah Saffidine
      Pages 346-358
      PDF
    28. Building an Epistemic Logic for Argumentation
      François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra
      Pages 359-371
    29. A Unifying Perspective on Knowledge Updates
      Martin Slota, João Leite
      Pages 372-384
    30. Verifying Brahms Human-Robot Teamwork Models
      Richard Stocker, Louise Dennis, Clare Dixon, Michael Fisher
      Pages 385-397
    31. On Satisfiability in ATL with Strategy Contexts
      Nicolas Troquard, Dirk Walther
      Pages 398-410
    32. Jumping to Conclusions
      Bart Verheij
      Pages 411-423
    33. Beyond Maxi-Consistent Argumentation Operators
      Srdjan Vesic, Leendert van der Torre
      Pages 424-436
    34. Reasoning about Agent Programs Using ATL-Like Logics
      Nitin Yadav, Sebastian Sardina
      Pages 437-449
    35. Qualitative Approximate Behavior Composition
      Nitin Yadav, Sebastian Sardina
      Pages 450-462
      PDF
    36. A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information
      Anna Zamansky
      Pages 463-475
      PDF

  3. System Descriptions

    1. DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas
      Julien Balax, Florence Dupin de Saint-Cyr, David Villard
      Pages 476-479
    2. OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
      Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
      Pages 480-483
    3. The Multi-Engine ASP Solver me-asp
      Marco Maratea, Luca Pulina, Francesco Ricca
      Pages 484-487
    4. A System for the Use of Answer Set Programming in Reinforcement Learning
      Matthias Nickles
      Pages 488-491
      PDF
    5. The Tableau Prover Generator MetTeL2
      Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
      Pages 492-495
  4. Back Matter
    PDF

About these proceedings

Introduction

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

  • Luis Fariñas del Cerro
    • 1
  • Andreas Herzig
    • 1
  • Jérôme Mengin
    • 1
  1. 1.Institut de Recherche en Informatique de ToulouseToulouse Cedex 9France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33353-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33352-1
  • Online ISBN 978-3-642-33353-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site