Keyphrases
- default logic
- coalition logic
- first order logic
- classical first order logic
- propositional logic
- expressive power
- propositional variables
- modal logic
- linearly ordered
- logic programming
- nonmonotonic logics
- inference rules
- horn logic
- autoepistemic logic
- knowledge compilation
- multi valued
- strips planning
- propositional calculus
- expert systems
- classical logic
- default theories
- decision procedures
- model checking
- prime implicates
- situation calculus
- dependence structure
- logical framework
- probabilistic logic