The Flowering of Automated Reasoning.
Larry WosPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- decision procedures
- theorem prover
- reasoning tasks
- automated verification
- probabilistic reasoning
- knowledge representation and reasoning
- propositional satisfiability
- gene regulatory networks
- search space
- machine learning
- artificial intelligence