Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in Computer Science, 6341)

Annotation This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. The book includes 3 invited talks, 26 regular papers, and 5 system descriptions Front Matter....Pages - Nonmonotonic Tools for Argumentation....Pages 1-6 Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference....Pages 7-9 Counter Systems for Data Logics....Pages 10-10 Similarity-Based Inconsistency-Tolerant Logics....Pages 11-23 Decomposition of Distributed Nonmonotonic Multi-Context Systems....Pages 24-37 Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases....Pages 38-50 A Decidable Constructive Description Logic....Pages 51-63 A Normal Form for Linear Temporal Equilibrium Logic....Pages 64-76 Rational Closure for Defeasible Description Logics....Pages 77-90 Extensional Higher-Order Logic Programming....Pages 91-103 dl2asp : Implementing Default Logic via Answer Set Programming....Pages 104-116 Sets of Boolean Connectives That Make Argumentation Easier....Pages 117-129 Retroactive Subsumption-Based Tabled Evaluation of Logic Programs....Pages 130-142 Preference-Based Inconsistency Assessment in Multi-Context Systems....Pages 143-155 A Logical Semantics for Description Logic Programs....Pages 156-168 An Incremental Answer Set Programming Based System for Finite ModelComputation....Pages 169-181 Parametrized Logic Programming....Pages 182-194 Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription....Pages 195-207 ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic....Pages 208-220 Stable Belief Sets Revisited....Pages 221-233 Efficient Inferencing for OWL EL....Pages 234-246 Translating First-Order Causal Theories into Answer Set Programming....Pages 247-259 Preprocessing Boolean Formulae for BDDs in a Probabilistic Context....Pages 260-272 Minimal Knowledge and Belief via Minimal Topology....Pages 273-285 A Logical Account of Lying....Pages 286-299 Tabling with Answer Subsumption: Implementation, Applications and Performance....Pages 300-312 Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic....Pages 313-325 An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems....Pages 326-338 Horn Contraction via Epistemic Entrenchment....Pages 339-351 The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems....Pages 352-355 The mcs-ie System for Explaining Inconsistency in Multi-Context Systems....Pages 356-359 Coala: A Compiler from Action Languages to ASP....Pages 360-364 DLV MC : Enhanced Model Checking in DLV ....Pages 365-368 A Dynamic-Programming Based ASP-Solver....Pages 369-372 Back Matter....Pages - Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. This book includes 3 invited talks, 26 regular papers, and 5 system descriptions.