Validity and Entailment in Modal and Propositional Dependence Logics.
Miika HannulaPublished in: CSL (2017)
Keyphrases
- propositional variables
- logic programming
- modal logic
- nonmonotonic logics
- default logic
- propositional logic
- classical first order logic
- tableau calculus
- coalition logic
- cl pc
- probabilistic logic
- logic programs
- autoepistemic logic
- first order logic
- expressive power
- minimal models
- classical logic
- satisfiability problem
- inference rules
- polynomial hierarchy
- temporal logic
- model checking
- epistemic logic
- knowledge base
- decision procedures
- boolean games
- textual entailment
- logic based argumentation
- nonmonotonic reasoning
- knowledge representation
- dynamic logic
- default theories
- np complete
- strips planning
- default reasoning
- reasoning about actions
- answer sets
- situation calculus
- inductive logic programming
- description logics
- programming language
- np hard