An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.

Pietro Abate Rajeev Goré Florian Widmann

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

proof procedure
propositional logic
decision making
decision makers
expert systems
description logics
terminological reasoning
davis putnam
np complete
decision rules
decision process
first order logic
automated theorem proving
decision model
phase transition
real time
artificial intelligence
data sets