Declarative Functionality Descriptions of Interactive Reasoning Modules.
Jan TreurPublished in: PDK (1991)
Keyphrases
- knowledge representation
- high level
- modular ontologies
- abductive logic programming
- knowledge base
- declarative knowledge
- reasoning systems
- reasoning process
- spatial reasoning
- computer algebra systems
- truth maintenance systems
- reasoning tasks
- automated reasoning
- qualitative reasoning
- theorem proving
- computer graphics
- building blocks
- data sets
- user friendly
- domain independent
- virtual reality
- analogical reasoning
- model based reasoning
- deductive reasoning
- learning environment
- machine learning
- neural network