Automated Reasoning Contributed to Mathematics and Logic.
Larry WosSteve WinkerWilliam McCuneRoss A. OverbeekEwing L. LuskRick L. StevensRalph ButlerPublished in: CADE (1990)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- proof theory
- decision procedures
- theorem proving
- reasoning tasks
- computer algebra
- probabilistic reasoning
- knowledge representation and reasoning
- logical implication
- automated verification
- computer science
- object oriented
- propositional satisfiability
- bayesian networks
- artificial intelligence
- machine learning