A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report
Vaughan R. PrattPublished in: STOC (1978)
Keyphrases
- experimental evaluation
- cost function
- dynamic programming
- detection method
- preprocessing
- neural network
- artificial intelligence
- decision rules
- high accuracy
- computational cost
- pairwise
- objective function
- decision trees
- real world
- significant improvement
- expert systems
- query language
- model selection
- computationally efficient
- knowledge base
- synthetic data