An automated reasoning system.
Larry WosSteven K. WinkerEwing L. LuskPublished in: AFIPS National Computer Conference (1981)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- theorem prover
- reasoning tasks
- probabilistic reasoning
- automated verification
- decision procedures
- logical implication
- knowledge representation and reasoning
- first order logic
- inference rules
- learning algorithm
- artificial neural networks
- probability distribution