Towards Uniform Reasoning via Structured Subset Spaces.
Bernhard HeinemannPublished in: Advances in Modal Logic (2002)
Keyphrases
- real world
- knowledge base
- reasoning process
- real time
- reasoning problems
- reasoning systems
- case study
- linear array
- structured data
- knowledge representation and reasoning
- riemannian manifolds
- computational properties
- structured representations
- logical reasoning
- formal models
- consistency checking
- legal reasoning
- initial set
- reasoning tasks
- automated reasoning
- logic programs
- case based reasoning
- multi agent systems
- bayesian networks
- neural network