C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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