Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings

by Janhunen, Tomi; Niemels, Ilkka

• ISBN13: 9783642156748
• ISBN10: 3642156746
• Edition: 1st
• Format: Paperback
• Copyright: 2010-10-04
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

Invited Talks
Nonmonotonic Tools for Argumentation	p. 1
Relax, Compensate and then Recover: A Theory of Anytime, Approximate Inference	p. 7
Counter Systems for Data Logics	p. 10
Regular Papers
Similarity-Based Inconsistency-Tolerant Logics	p. 11
Decomposition of Distributed Nonmonotonic Multi-Context Systems	p. 24
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases	p. 38
A Decidable Constructive Description Logic	p. 51
A Normal Form for Linear Temporal Equilibrium Logic	p. 64
Rational Closure for Defeasible Description Logics	p. 77
Extensional Higher-Order Logic Programming	p. 91
Implementing Default Logic via Answer Set Programming	p. 104
Sets of Boolean Connectives That Make Argumentation Easier	p. 117
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs	p. 130
Preference-Based Inconsistency Assessment in Multi-Context Systems	p. 143
A Logical Semantics for Description Logic Programs	p. 156
An Incremental Answer Set Programming Based System for Finite Model Computation	p. 169
Parametrized Logic Programming	p. 182
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription	p. 195
ALCALC: A Context Description Logic	p. 208
Stable Belief Sets Revisited	p. 221
Efficient Inferencing for OWL EL	p. 234
Translating First-Order Causal Theories into Answer Set Programming	p. 247
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	p. 260
Minimal Knowledge and Belief via Minimal Topology	p. 273
A Logical Account of Lying	p. 286
Tabling with Answer Subsumption: Implementation, Applications and Performance	p. 300
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic	p. 313
An Approximative Inference Method for Solving &exists∀SO Satisfiability Problems	p. 326
Horn Contraction via Epistemic Entrenchment	p. 339
System Descriptions
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems	p. 352
The MCS-IE System for Explaining Inconsistency in Multi-Context Systems	p. 356
Coala: A Compiler from Action Languages to ASP	p. 360
DLVMC: Enhanced Model Checking in DLV	p. 365
A Dynamic-Programming Based ASP-Solver	p. 369
Author Index	p. 373
Table of Contents provided by Ingram. All Rights Reserved.