 |
    |
 | | Loizos Michael, and Antonis Kakas (Eds.)Logics in Artificial Intelligence15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016, ProceedingsLNAI 10021 Ordering Information |
Table of Contents
Book Frontmatter in PDFFull 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