On the Composition of Compositional Reasoning.
Felix C. FreilingThomas SantenPublished in: Architecting Systems with Trustworthy Components (2004)
Keyphrases
- reasoning systems
- knowledge representation
- formal models
- spatial reasoning
- reasoning process
- web service composition
- resource bounded
- reasoning mechanism
- knowledge base
- machine learning
- reasoning mechanisms
- computational properties
- reasoning problems
- model based reasoning
- probabilistic logic
- analogical reasoning
- knowledge processing
- conflicting information
- knowledge representation and reasoning
- logical framework
- reasoning tasks
- automated reasoning
- meta level
- description logics
- natural language
- database systems
- search engine
- information retrieval