Logics in Artificial Intelligence

14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

  • Eduardo Fermé
  • João Leite
Conference proceedings JELIA 2014

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Description Logics

    1. Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
      Pages 62-76
    2. Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortjé
      Pages 92-106
  4. Automated Reasoning

    1. Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
      Pages 122-136
    2. Martin Gebser, Tomi Janhunen, Jussi Rintanen
      Pages 137-151
    3. Said Jabbour, Joao Marques-Silva, Lakhdar Sais, Yakoub Salhi
      Pages 152-165
    4. Jori Bomanson, Martin Gebser, Tomi Janhunen
      Pages 166-180
  5. Logics for Uncertain Reasoning

    1. Henning Koehler, Uwe Leck, Sebastian Link, Henri Prade
      Pages 181-195
    2. Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
      Pages 196-209
    3. Christian Eichhorn, Gabriele Kern-Isberner
      Pages 210-223
  6. Non-Classical Logics

    1. Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
      Pages 239-252
    2. Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
      Pages 253-266
    3. Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
      Pages 267-281
    4. Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos
      Pages 282-296
  7. Answer-Set Programming

    1. Pedro Cabalar, Jorge Fandiño, Michael Fink
      Pages 297-310
    2. Mark Law, Alessandra Russo, Krysia Broda
      Pages 311-325
    3. Joohyung Lee, Yi Wang
      Pages 326-339
    4. Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustin Valverde
      Pages 340-354
  8. Belief Revision

    1. Philippe Besnard
      Pages 383-396
    2. Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
      Pages 397-411
  9. Dealing with Inconsistency in ASP and DL

    1. Matthias Knorr, José Julio Alferes
      Pages 412-425
    2. Thomas Eiter, Michael Fink, Daria Stepanova
      Pages 426-441
    3. Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel
      Pages 442-456
    4. Giovanni Amendola, Thomas Eiter, Nicola Leone
      Pages 457-471
  10. Reason about Actions and Causality

    1. Fabio Patrizi, Stavros Vassos
      Pages 472-485
    2. Guillaume Feuillade, Andreas Herzig
      Pages 486-499
    3. Johannes Marti, Riccardo Pinosio
      Pages 500-513
    4. Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
      Pages 514-528
  11. System Descriptions

    1. Michael Bartholomew, Joohyung Lee
      Pages 529-542
    2. Alexander Baumgartner, Temur Kutsia
      Pages 543-557
    3. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran
      Pages 558-572
  12. Short System Descriptions

    1. María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
      Pages 573-581
  13. Short Papers

    1. Sylwia Polberg, Dragan Doder
      Pages 591-599
    2. Cosmina Croitoru
      Pages 600-608
    3. Marija Slavkovik, Thomas Ågotnes
      Pages 609-617
    4. Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino
      Pages 618-627
    5. Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
      Pages 628-636
    6. Costas D. Koutras, Christos Moyzes, Yorgos Zikos
      Pages 637-646
    7. Konstantinos Georgatos
      Pages 647-656
    8. Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
      Pages 657-664

About these proceedings


This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.


answer set programming argumentation automated reasoning belief revision data mining databases description logics fuzzy logic programming hypergraph knowledge representation and reasoning logic programming logics for uncertain and probabilistic reasoning non-classical logics nonmonotonic reasoning query processing reasoning about actions and causality similarity orders

Editors and affiliations

  • Eduardo Fermé
    • 1
  • João Leite
    • 2
  1. 1.University of MadeiraFunchalPortugal
  2. 2.CENTRIAUniversidade Nova de LisboaCaparicaPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-11557-3
  • Online ISBN 978-3-319-11558-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site