LNEE Homepage
ContentsAuthor IndexSearch
LNAI 10021Loizos Michael, and Antonis Kakas (Eds.)

Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016, Proceedings
LNAI 10021
Ordering Information


Table of Contents

Book Frontmatter in PDF

Full Papers

Metabolic Pathways as Temporal Logic Programs
Jean-Marc Alliot, Martín Diéguez and Luis Fariñas del Cerro
LNAI 10021, p. 3 ff.
Full article in PDF

On Decidability of a Logic of Gossips
Krzysztof R. Apt and Dominik Wojtczak
LNAI 10021, p. 18 ff.
Full article in PDF

Hilbert-Style Axiomatization for Hybrid XPath with Data
Carlos Areces and Raul Fervari
LNAI 10021, p. 34 ff.
Full article in PDF

Approximate Unification in the Description Logic ℱℒ0
Franz Baader, Pavlos Marantidis and Alexander Okhotin
LNAI 10021, p. 49 ff.
Full article in PDF

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, Swan Rocher and Karim Tabia
LNAI 10021, p. 64 ff.
Full article in PDF

Temporal Here and There
Philippe Balbiani and Martín Diéguez
LNAI 10021, p. 81 ff.
Full article in PDF

On Logics of Group Belief in Structured Coalitions
Philippe Balbiani, David Pearce and Levan Uridia
LNAI 10021, p. 97 ff.
Full article in PDF

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
Francesco Belardinelli and Alessio Lomuscio
LNAI 10021, p. 112 ff.
Full article in PDF

A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
Stefano Bistarelli, Fabio Rossi and Francesco Santini
LNAI 10021, p. 127 ff.
Full article in PDF

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Joseph Boudou and Emiliano Lorini
LNAI 10021, p. 144 ff.
Full article in PDF

On the Expressiveness of Temporal Equilibrium Logic
Laura Bozzelli and David Pearce
LNAI 10021, p. 159 ff.
Full article in PDF

Introducing Role Defeasibility in Description Logics
Katarina Britz and Ivan Varzinczak
LNAI 10021, p. 174 ff.
Full article in PDF

Opposition Frameworks
Cosmina Croitoru and Kurt Mehlhorn
LNAI 10021, p. 190 ff.
Full article in PDF

Prompt Interval Temporal Logic
Dario Della Monica, Angelo Montanari, Aniello Murano and Pietro Sala
LNAI 10021, p. 207 ff.
Full article in PDF

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
Thomas Eiter and Tobias Kaminski
LNAI 10021, p. 223 ff.
Full article in PDF

Reasoning About Justified Belief Based on the Fusion of Evidence
Tuan-Fang Fan and Churn-Jung Liau
LNAI 10021, p. 240 ff.
Full article in PDF

Writing Declarative Specifications for Clauses
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub and Shahab Tasharrofi
LNAI 10021, p. 256 ff.
Full article in PDF

Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
Marianna Girlando, Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato
LNAI 10021, p. 272 ff.
Full article in PDF

Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
Sergio Greco and Francesco Parisi
LNAI 10021, p. 288 ff.
Full article in PDF

Revising Possibilistic Knowledge Bases via Compatibility Degrees
Yifan Jin, Kewen Wang, Zhe Wang and Zhiqiang Zhuang
LNAI 10021, p. 305 ff.
Full article in PDF

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
Roman Kuznets
LNAI 10021, p. 320 ff.
Full article in PDF

Efficient Reasoning for Inconsistent Horn Formulae
Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía and Rafael Peñaloza
LNAI 10021, p. 336 ff.
Full article in PDF

Information Flow Under Budget Constraints
Pavel Naumov and Jia Tao
LNAI 10021, p. 353 ff.
Full article in PDF

A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
Matthias Nickles
LNAI 10021, p. 369 ff.
Full article in PDF

Pakota: A System for Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner and Matti Järvisalo
LNAI 10021, p. 385 ff.
Full article in PDF

Kinetic Consistency and Relevance in Belief Revision
Pavlos Peppas and Mary-Anne Williams
LNAI 10021, p. 401 ff.
Full article in PDF

DRAT Proofs for XOR Reasoning
Tobias Philipp and Adrián Rebola-Pardo
LNAI 10021, p. 415 ff.
Full article in PDF

Understanding the Abstract Dialectical Framework
Sylwia Polberg
LNAI 10021, p. 430 ff.
Full article in PDF

Extensional Semantics for Higher-Order Logic Programs with Negation
Panos Rondogiannis and Ioanna Symeonidou
LNAI 10021, p. 447 ff.
Full article in PDF

Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur and Thomas Eiter
LNAI 10021, p. 463 ff.
Full article in PDF

Correct Grounded Reasoning with Presumptive Arguments
Bart Verheij
LNAI 10021, p. 481 ff.
Full article in PDF

Characterizability in Horn Belief Revision
Jon Yaggie and György Turán
LNAI 10021, p. 497 ff.
Full article in PDF

Short Papers

Formalizing Goal Serializability for Evaluation of Planning Features
Reza Basseda and Michael Kifer
LNAI 10021, p. 515 ff.
Full article in PDF

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner and Konstantin Schekotihin
LNAI 10021, p. 522 ff.
Full article in PDF

Inconsistency Management in Reactive Multi-context Systems
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite and Jörg Pührer
LNAI 10021, p. 529 ff.
Full article in PDF

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Extended Abstract)
Patrick Doherty, Jonas Kvarnström and Andrzej Szałas
LNAI 10021, p. 536 ff.
Full article in PDF

Forgetting in ASP: The Forgotten Properties
Ricardo Gonçalves, Matthias Knorr and João Leite
LNAI 10021, p. 543 ff.
Full article in PDF

On Hierarchical Task Networks
Andreas Herzig, Laurent Perrussel and Zhanhao Xiao
LNAI 10021, p. 551 ff.
Full article in PDF

Refinement of Intentions
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao and Dongmo Zhang
LNAI 10021, p. 558 ff.
Full article in PDF

GenB: A General Solver for AGM Revision
Aaron Hunter and Eric Tsang
LNAI 10021, p. 564 ff.
Full article in PDF

A Two-Phase Dialogue Game for Skeptical Preferred Semantics
Zohreh Shams and Nir Oren
LNAI 10021, p. 570 ff.
Full article in PDF

Measuring Inconsistency in Answer Set Programs
Markus Ulbricht, Matthias Thimm and Gerhard Brewka
LNAI 10021, p. 577 ff.
Full article in PDF

© Springer International Publishing AG 2016