Larry Wos: Visions of Automated Reasoning.
Michael BeesonMaria Paola BonacinaMichael KinyonGeoff SutcliffePublished in: J. Autom. Reason. (2022)
Keyphrases
- automated reasoning
- reasoning systems
- ambient intelligence
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- reasoning tasks
- decision procedures
- order statistics
- automated verification
- virtual world
- knowledge representation and reasoning
- artificial intelligence
- science education
- general purpose
- expert systems
- temporal logic
- belief revision
- distributed systems