 |  | Loizos Michael, and Antonis Kakas (Eds.)Logics in Artificial Intelligence15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016, Proceedings
LNAI 10021 Ordering Information
| 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
|