Reasoning Algebraically about Recursion.
Paul H. B. GardinerParitosh K. PandyaPublished in: Sci. Comput. Program. (1992)
Keyphrases
- reasoning systems
- reasoning tasks
- spatial reasoning
- knowledge base
- model based reasoning
- reasoning process
- analogical reasoning
- meta level
- automated reasoning
- deductive databases
- knowledge representation
- neural network
- reasoning mechanism
- probabilistic reasoning
- complex objects
- probabilistic logic
- knowledge representation and reasoning
- experimental verification