An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Pietro AbateRajeev GoréFlorian WidmannPublished in: CoRR (2007)
Keyphrases
- proof procedure
- propositional logic
- decision making
- np complete
- decision makers
- decision rules
- satisfiability problem
- description logics
- theorem proving
- terminological reasoning
- propositional dynamic logic
- satisfiability testing
- iterative procedure
- computational complexity
- deontic logic
- decision procedures
- search algorithm