Integrating External Functions in an Object Oriented Reasoning System.
Ta-Cheng YuLawrence J. HenschenPublished in: ICTAI (1994)
Keyphrases
- object oriented
- knowledge base
- automated reasoning
- case study
- knowledge representation
- real time
- spatial reasoning
- reasoning process
- default reasoning
- resource bounded
- model based reasoning
- formal models
- knowledge representation and reasoning
- probabilistic logic
- information systems
- artificial intelligence
- neural network