Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

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