Keyphrases
- modal logic
- pspace complete
- temporal logic
- model checking
- coalition logic
- satisfiability problem
- np complete
- decision procedures
- inference rules
- strips planning
- decision problems
- epistemic logic
- nonmonotonic logics
- default logic
- dynamic logic
- finite state
- situation calculus
- tree automata
- causal graph
- belief revision
- prime implicates
- np hard
- machine learning
- domain independent
- computational complexity