Validity and Entailment in Modal and Propositional Dependence Logics.
Miika HannulaPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- propositional variables
- logic programming
- modal logic
- nonmonotonic logics
- default logic
- propositional logic
- classical first order logic
- probabilistic logic
- tableau calculus
- logic programs
- autoepistemic logic
- coalition logic
- expressive power
- first order logic
- inference rules
- temporal logic
- default reasoning
- decision procedures
- belief base
- classical logic
- nonmonotonic reasoning
- knowledge base
- answer sets
- cl pc
- description logics
- polynomial hierarchy
- default theories
- knowledge representation
- programming language
- machine learning
- linearly ordered
- statistical relational learning
- reasoning about actions
- horn clauses
- np complete
- minimal models
- conjunctive normal form
- textual entailment
- conditional logic
- wordnet
- model checking
- satisfiability problem
- logical framework