Logics in Artificial Intelligence

1. Front Matter

   PDF

2. Invited Talks

   1. Query Answering over Description Logic Ontologies

      • Diego Calvanese

      Pages 1-17

   2. Tools for the Investigation of Substructural and Paraconsistent Logics

      • Agata Ciabattoni, Lara Spendier

      Pages 18-32

   3. Non-classical Planning with a Classical Planner: The Power of Transformations

      • Hector Geffner

      Pages 33-47

   4. Opportunities for Argument-Centric Persuasion in Behaviour Change

      • Anthony Hunter

      Pages 48-61

3. Description Logics

   1. The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics

      • Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza

      Pages 62-76

   2. Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$

      • İsmail İlkan Ceylan, Rafael Peñaloza

      Pages 77-91

   3. Relevant Closure: A New Form of Defeasible Reasoning for Description Logics

      • Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortjé

      Pages 92-106

   4. Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$

      • Michel Ludwig, Rafael Peñaloza

      Pages 107-121

4. Automated Reasoning

   1. Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations

      • Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco

      Pages 122-136

   2. SAT Modulo Graphs: Acyclicity

      • Martin Gebser, Tomi Janhunen, Jussi Rintanen

      Pages 137-151

   3. Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

      • Said Jabbour, Joao Marques-Silva, Lakhdar Sais, Yakoub Salhi

      Pages 152-165

   4. Improving the Normalization of Weight Rules in Answer Set Programs

      • Jori Bomanson, Martin Gebser, Tomi Janhunen

      Pages 166-180

5. Logics for Uncertain Reasoning

   1. Logical Foundations of Possibilistic Keys

      • Henning Koehler, Uwe Leck, Sebastian Link, Henri Prade

      Pages 181-195

   2. Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information

      • Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé

      Pages 196-209

   3. LEG Networks for Ranking Functions

      • Christian Eichhorn, Gabriele Kern-Isberner

      Pages 210-223

   4. Logics for Approximating Implication Problems of Saturated Conditional Independence

      • Henning Koehler, Sebastian Link

      Pages 224-238

6. Non-Classical Logics

   1. Finitary S5-Theories

      • Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

      Pages 239-252

   2. Efficient Program Transformers for Translating LCC to PDL

      • Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

      Pages 253-266

   3. On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders

      • Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco

      Pages 267-281

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

• University of Madeira, Funchal, Portugal

  Eduardo Fermé

• CENTRIA, Universidade Nova de Lisboa, Caparica, Portugal

  João Leite

Policies and ethics