Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
Jamieson M. CobleighGeorge S. AvruninLori A. ClarkePublished in: ISSTA (2006)
Keyphrases
- decomposition algorithm
- decomposition method
- spatial reasoning
- information retrieval
- reasoning engine
- reasoning process
- bayesian networks
- knowledge acquisition
- meta level
- knowledge representation
- qualitative models
- knowledge base
- probabilistic logic
- fuzzy reasoning
- reasoning systems
- artificial intelligence
- model based reasoning
- resource bounded
- databases
- deductive reasoning