Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Eduardo Fermé

    1. University of Madeira, Funchal, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Leite

    1. CENTRIA, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: JELIA 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (53 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Editors and Affiliations

  • University of Madeira, Funchal, Portugal

    Eduardo Fermé

  • CENTRIA, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

Bibliographic Information

Publish with us

Policies and ethics

Back to top