Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence. Front Matter....Pages - Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models....Pages 1-13 Nested Sequent Calculi for Conditional Logics....Pages 14-27 Conflict-Tolerant Semantics for Argumentation Frameworks....Pages 28-40 Knowledge Means ‘ All ’, Belief Means ‘ Most ’....Pages 41-53 Generalized DEL-Sequents....Pages 54-66 Deciding the Bisimilarity Relation between Datalog Goals....Pages 67-79 Inconsistency Management for Traffic Regulations: Formalization and Complexity Results....Pages 80-93 Conditional Epistemic Planning....Pages 94-106 PTL: A Propositional Typicality Logic....Pages 107-119 The Complexity of One-Agent Refinement Modal Logic....Pages 120-133 The View-Update Problem for Indefinite Databases....Pages 134-146 Three-Valued Logics for Incomplete Information and Epistemic Logic....Pages 147-159 Exploiting Unfounded Sets for HEX-Program Evaluation....Pages 160-175 Using Satisfiability for Non-optimal Temporal Planning....Pages 176-188 How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic....Pages 189-201 Exact Query Reformulation with First-Order Ontologies and Databases....Pages 202-214 A Selective Semantics for Logic Programs with Preferences....Pages 215-227 A Minimal Model Semantics for Nonmonotonic Reasoning....Pages 228-241 Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights....Pages 242-254 On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility....Pages 255-266 Fault Tolerance in Belief Formation Networks....Pages 267-280 Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference....Pages 281-293 Belief Base Change Operations for Answer Set Programming....Pages 294-306 A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts....Pages 307-319 Sequent Systems for Lewis’ Conditional Logics....Pages 320-332 Relevant Minimal Change in Belief Update....Pages 333-345 Minimal Proof Search for Modal Logic K Model Checking....Pages 346-358 Building an Epistemic Logic for Argumentation....Pages 359-371 A Unifying Perspective on Knowledge Updates....Pages 372-384 Verifying Brahms Human-Robot Teamwork Models....Pages 385-397 On Satisfiability in ATL with Strategy Contexts....Pages 398-410 Jumping to Conclusions....Pages 411-423 Beyond Maxi-Consistent Argumentation Operators....Pages 424-436 Reasoning about Agent Programs Using ATL-Like Logics....Pages 437-449 Qualitative Approximate Behavior Composition....Pages 450-462 A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information....Pages 463-475 DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas....Pages 476-479 OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver....Pages 480-483 The Multi-Engine ASP Solver me-asp ....Pages 484-487 A System for the Use of Answer Set Programming in Reinforcement Learning....Pages 488-491 The Tableau Prover Generator MetTeL2....Pages 492-495 Back Matter....Pages -