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

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 -