4 search results - page 1 / 1 » An Optimal Tableau-Based Decision Algorithm for Propositiona... |
STACS
2007
Springer
14 years 11 months ago
2007
Springer
CADE
2009
Springer
15 years 6 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
15 years 4 days 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
14 years 7 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 ...