You have Guest access.
Log In
Tomi Janhunen and Ilkka Niemelä
Front matter
1-6
Nonmonotonic Tools for Argumentation
7-9
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference
10
Counter Systems for Data Logics
11-23
Similarity-Based Inconsistency-Tolerant Logics
24-37
Decomposition of Distributed Nonmonotonic Multi-Context Systems
38-50
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases
51-63
A Decidable Constructive Description Logic
64-76
A Normal Form for Linear Temporal Equilibrium Logic
77-90
Rational Closure for Defeasible Description Logics
91-103
Extensional Higher-Order Logic Programming
104-116
dl2asp: Implementing Default Logic via Answer Set Programming
117-129
Sets of Boolean Connectives That Make Argumentation Easier
130-142
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
143-155
Preference-Based Inconsistency Assessment in Multi-Context Systems
156-168
A Logical Semantics for Description Logic Programs
169-181
An Incremental Answer Set Programming Based System for Finite ModelComputation
182-194
Parametrized Logic Programming
195-207
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
208-220
ALCALC{\mathcal{ALC}_\mathcal{ALC}}: A Context Description Logic
221-233
Stable Belief Sets Revisited
234-246
Efficient Inferencing for OWL EL
247-259
Translating First-Order Causal Theories into Answer Set Programming
260-272
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
273-285
Minimal Knowledge and Belief via Minimal Topology
286-299
A Logical Account of Lying
300-312
Tabling with Answer Subsumption: Implementation, Applications and Performance
313-325
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
326-338
An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems
339-351
Horn Contraction via Epistemic Entrenchment
352-355
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
356-359
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
360-364
Coala: A Compiler from Action Languages to ASP
365-368
DLVMC: Enhanced Model Checking in DLV
369-372
A Dynamic-Programming Based ASP-Solver
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info