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.
Author(s): Gerhard Brewka (auth.), Tomi Janhunen, Ilkka Niemelä (eds.)
Series: Lecture Notes in Computer Science 6341 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 374
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet); Software Engineering; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation
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 -
