Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science Book 10021)

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. Front Matter....Pages I-XXII Front Matter....Pages 1-1 Metabolic Pathways as Temporal Logic Programs....Pages 3-17 On Decidability of a Logic of Gossips....Pages 18-33 Hilbert-Style Axiomatization for Hybrid XPath with Data....Pages 34-48 Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis....Pages 49-63 Temporal Here and There....Pages 64-80 On Logics of Group Belief in Structured Coalitions....Pages 81-96 A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems....Pages 97-111 A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks....Pages 112-126 Decidability and Expressivity of Ockhamist Propositional Dynamic Logics....Pages 127-143 On the Expressiveness of Temporal Equilibrium Logic....Pages 144-158 Introducing Role Defeasibility in Description Logics....Pages 159-173 Opposition Frameworks....Pages 174-189 Prompt Interval Temporal Logic....Pages 190-206 Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects....Pages 207-222 Reasoning About Justified Belief Based on the Fusion of Evidence....Pages 223-239 Writing Declarative Specifications for Clauses....Pages 240-255 Standard Sequent Calculi for Lewis’ Logics of Counterfactuals....Pages 256-271 Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks....Pages 272-287 Revising Possibilistic Knowledge Bases via Compatibility Degrees....Pages 288-304 Front Matter....Pages 305-319 Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi....Pages 1-1 Efficient Reasoning for Inconsistent Horn Formulae....Pages 320-335 Information Flow Under Budget Constraints....Pages 336-352 A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics....Pages 353-368 Pakota: A System for Enforcement in Abstract Argumentation....Pages 369-384 Kinetic Consistency and Relevance in Belief Revision....Pages 385-400 DRAT Proofs for XOR Reasoning....Pages 401-414 Understanding the Abstract Dialectical Framework....Pages 415-429 Extensional Semantics for Higher-Order Logic Programs with Negation....Pages 430-446 Reactive Policies with Planning for Action Languages....Pages 447-462 Correct Grounded Reasoning with Presumptive Arguments....Pages 463-480 Characterizability in Horn Belief Revision....Pages 481-496 Front Matter....Pages 497-511 Formalizing Goal Serializability for Evaluation of Planning Features....Pages 513-513 Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks....Pages 515-521 Inconsistency Management in Reactive Multi-context Systems....Pages 522-528 Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs....Pages 529-535 Forgetting in ASP: The Forgotten Properties....Pages 536-542 On Hierarchical Task Networks....Pages 543-550 Refinement of Intentions....Pages 551-557 GenB: A General Solver for AGM Revision....Pages 558-563 Front Matter....Pages 564-569 A Two-Phase Dialogue Game for Skeptical Preferred Semantics....Pages 513-513 Measuring Inconsistency in Answer Set Programs....Pages 570-576 Back Matter....Pages 577-583 ....Pages 585-586