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

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 -