Keyphrases
- modal logic
- default logic
- nonmonotonic logics
- autoepistemic logic
- situation calculus
- classical logic
- temporal logic
- inference rules
- decision procedures
- conditional logic
- default reasoning
- nonmonotonic reasoning
- default theories
- general logic programs
- epistemic logic
- theorem prover
- dynamic logic
- logic programs
- prime implicates
- action theories
- initial state
- answer sets
- artificial intelligence