4 search results - page 1 / 1 » An Optimal Tableau-Based Decision Algorithm for Propositiona... |
STACS
2007
Springer
13 years 11 months ago
2007
Springer
CADE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
TABLEAUX
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
IJCAI
2001
13 years 6 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...