Keyphrases
- modal logic
- lower bound
- upper bound
- decision procedures
- temporal logic
- branch and bound
- inference rules
- epistemic logic
- branch and bound algorithm
- nonmonotonic logics
- classical logic
- objective function
- np hard
- lower and upper bounds
- autoepistemic logic
- optimal solution
- situation calculus
- default logic
- vc dimension
- cooperative
- theorem proving