Compositional Quantitative Reasoning.
Krishnendu ChatterjeeLuca de AlfaroMarco FaellaThomas A. HenzingerRupak MajumdarMariëlle StoelingaPublished in: QEST (2006)
Keyphrases
- knowledge base
- knowledge representation
- qualitative and quantitative
- logical reasoning
- reasoning process
- qualitative models
- meta level
- conflicting information
- model based reasoning
- fuzzy reasoning
- qualitative reasoning
- default reasoning
- databases
- description logics
- probabilistic logic
- domain knowledge
- reasoning systems
- knowledge representation and reasoning
- consistency checking
- scientific discovery
- multiscale
- data sets