Automated Reasoning in the Age of the Internet.
Alan BundyKwabena NuamahChristopher LucasPublished in: AISC (2018)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- probabilistic reasoning
- knowledge representation
- theorem prover
- reasoning tasks
- decision procedures
- knowledge representation and reasoning
- automated verification
- learning algorithm
- internet usage
- general purpose
- inference rules
- fuzzy logic
- artificial intelligence