Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving.
Martin StreckerPublished in: AISC (2018)
Keyphrases
- modal logic
- sat solving
- state space
- inference rules
- decision procedures
- temporal logic
- sat solvers
- nonmonotonic logics
- dynamical systems
- markov decision processes
- sat problem
- heuristic search
- default logic
- boolean satisfiability
- orders of magnitude
- situation calculus
- search space
- theorem proving
- symmetry breaking
- dynamic programming
- initial state
- markov decision process
- lower bound
- optimal policy