Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Loizos Michael

    1. Open University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antonis Kakas

    1. University of Cyprus, Nicosia, Cyprus

    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 10021)

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

Included in the following conference series:

Conference proceedings info: JELIA 2016.

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
$34.99 /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 USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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 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.

Similar content being viewed by others

Keywords

Table of contents (42 papers)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Metabolic Pathways as Temporal Logic Programs

      • Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro
      Pages 3-17

    3. On Decidability of a Logic of Gossips

      • Krzysztof R. Apt, Dominik Wojtczak
      Pages 18-33

    4. Hilbert-Style Axiomatization for Hybrid XPath with Data

      • Carlos Areces, Raul Fervari
      Pages 34-48

    5. Approximate Unification in the Description Logic \(\mathcal {FL}_0\)

      • Franz Baader, Pavlos Marantidis, Alexander Okhotin
      Pages 49-63

    6. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

      • Jean François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini et al.
      Pages 64-80

    7. Temporal Here and There

      • Philippe Balbiani, Martín Diéguez
      Pages 81-96

    8. On Logics of Group Belief in Structured Coalitions

      • Philippe Balbiani, David Pearce, Levan Uridia
      Pages 97-111

    9. A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

      • Francesco Belardinelli, Alessio Lomuscio
      Pages 112-126

    10. A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks

      • Stefano Bistarelli, Fabio Rossi, Francesco Santini
      Pages 127-143

    11. Decidability and Expressivity of Ockhamist Propositional Dynamic Logics

      • Joseph Boudou, Emiliano Lorini
      Pages 144-158

    12. On the Expressiveness of Temporal Equilibrium Logic

      • Laura Bozzelli, David Pearce
      Pages 159-173

    13. Introducing Role Defeasibility in Description Logics

      • Katarina Britz, Ivan Varzinczak
      Pages 174-189

    14. Opposition Frameworks

      • Cosmina Croitoru, Kurt Mehlhorn
      Pages 190-206

    15. Prompt Interval Temporal Logic

      • Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
      Pages 207-222

    16. Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects

      • Thomas Eiter, Tobias Kaminski
      Pages 223-239

    17. Reasoning About Justified Belief Based on the Fusion of Evidence

      • Tuan-Fang Fan, Churn-Jung Liau
      Pages 240-255

    18. Writing Declarative Specifications for Clauses

      • Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
      Pages 256-271

    19. Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

      • Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
      Pages 272-287
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Editors and Affiliations

  • Open University of Cyprus, Nicosia, Cyprus

    Loizos Michael

  • University of Cyprus, Nicosia, Cyprus

    Antonis Kakas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation