The Entailment Problem in Modal and Propositional Dependence Logics.
Miika HannulaPublished in: CoRR (2016)
Keyphrases
- propositional variables
- logic programming
- modal logic
- default logic
- nonmonotonic logics
- cl pc
- propositional logic
- coalition logic
- probabilistic logic
- tableau calculus
- autoepistemic logic
- logic programs
- satisfiability problem
- inference rules
- polynomial hierarchy
- model checking
- classical logic
- np complete
- nonmonotonic reasoning
- decision procedures
- boolean games
- knowledge representation
- conditional logic
- default reasoning
- programming language
- default theories
- knowledge base
- belief base
- description logics
- textual entailment
- first order logic
- conjunctive normal form
- minimal models
- logical framework
- temporal logic
- kripke models
- maximum entropy
- dynamic logic
- answer sets
- probabilistic reasoning
- horn clauses
- computational properties