Logics in Artificial Intelligence

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

  • Eduardo Fermé
  • João Leite

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

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 https://doi.org/10.1007/978-3-319-11558-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11557-3
  • Online ISBN 978-3-319-11558-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book