Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies.
Robert VeroffPublished in: J. Autom. Reason. (1996)
Keyphrases
- automated reasoning
- case study
- reasoning systems
- probabilistic reasoning
- theorem prover
- theorem proving
- decision procedures
- reasoning tasks
- knowledge representation
- real world
- knowledge representation and reasoning
- neural network
- lessons learned
- special case
- expert systems
- knowledge base
- learning algorithm
- automated verification