Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

  • Loizos Michael
  • Antonis Kakas
Conference proceedings JELIA 2016

DOI: 10.1007/978-3-319-48758-8

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

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro
      Pages 3-17
    3. Krzysztof R. Apt, Dominik Wojtczak
      Pages 18-33
    4. Carlos Areces, Raul Fervari
      Pages 34-48
    5. Franz Baader, Pavlos Marantidis, Alexander Okhotin
      Pages 49-63
    6. Jean François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini et al.
      Pages 64-80
    7. Philippe Balbiani, Martín Diéguez
      Pages 81-96
    8. Philippe Balbiani, David Pearce, Levan Uridia
      Pages 97-111
    9. Stefano Bistarelli, Fabio Rossi, Francesco Santini
      Pages 127-143
    10. Laura Bozzelli, David Pearce
      Pages 159-173
    11. Katarina Britz, Ivan Varzinczak
      Pages 174-189
    12. Cosmina Croitoru, Kurt Mehlhorn
      Pages 190-206
    13. Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
      Pages 207-222
    14. Tuan-Fang Fan, Churn-Jung Liau
      Pages 240-255
    15. Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
      Pages 256-271
    16. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
      Pages 272-287

About these proceedings

Introduction

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Keywords

Argumentation complexity decidability logic probabilistic reasoning answer set programming artificial intelligence belief revision description logics epistemic logic handling inconsistencies modal logic planning preferential semantics probabilistic logic programming SAT statistical-relational learning temporal logics transaction logic XPath

Editors and affiliations

  • Loizos Michael
    • 1
  • Antonis Kakas
    • 2
  1. 1.Open University of CyprusNicosiaCyprus
  2. 2.University of CyprusNicosiaCyprus

Bibliographic information

  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-48757-1
  • Online ISBN 978-3-319-48758-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349