An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.

Rajeev Goré Florian Widmann

Published in: CADE (2009)

Keyphrases

decision making
dynamic programming
description logics
proof procedure
closed form
optimal solution
worst case
integer solution
terminological reasoning
computational properties
decision model
propositional logic
optimal control
phase transition
decision problems
decision makers
knowledge base