Model-theoretic and Computational Properties of Modal Dependence Logic.
Merlijn SevensterPublished in: J. Log. Comput. (2009)
Keyphrases
- computational properties
- model theoretic
- description logics
- logic programs
- proof theoretic
- fixpoint
- modal logic
- logic programming
- reasoning problems
- decision procedures
- knowledge base
- proof procedure
- expressive power
- default reasoning
- nonmonotonic logics
- default logic
- reasoning tasks
- stable models
- knowledge representation
- answer set programming
- autoepistemic logic
- answer sets
- action theories
- deductive databases
- propositional theories
- probabilistic reasoning
- data model
- proof theory
- np hard
- inductive logic programming
- operational semantics
- machine learning