Advertisement

Logics in Artificial Intelligence

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

  • Loizos Michael
  • Antonis Kakas

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    17. Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang
      Pages 305-319
    18. Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
      Pages 336-352
    19. Pavel Naumov, Jia Tao
      Pages 353-368
    20. Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
      Pages 385-400
    21. Pavlos Peppas, Mary-Anne Williams
      Pages 401-414
    22. Tobias Philipp, Adrián Rebola-Pardo
      Pages 415-429
    23. Panos Rondogiannis, Ioanna Symeonidou
      Pages 447-462
    24. Zeynep G. Saribatur, Thomas Eiter
      Pages 463-480
    25. Jon Yaggie, György Turán
      Pages 497-511
  3. Short Papers

    1. Front Matter
      Pages 513-513
    2. Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
      Pages 522-528
    3. Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
      Pages 529-535
    4. Patrick Doherty, Jonas Kvarnström, Andrzej Szałas
      Pages 536-542
    5. Ricardo Gonçalves, Matthias Knorr, João Leite
      Pages 543-550
    6. Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
      Pages 551-557
    7. Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
      Pages 558-563
    8. Aaron Hunter, Eric Tsang
      Pages 564-569
    9. Markus Ulbricht, Matthias Thimm, Gerhard Brewka
      Pages 577-583
  4. Back Matter
    Pages 585-586

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

  • DOI https://doi.org/10.1007/978-3-319-48758-8
  • 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
  • Buy this book on publisher's site