On Hierarchical Reasoning in Combinations of Theories.
Carsten IhlemannViorica Sofronie-StokkermansPublished in: IJCAR (2010)
Keyphrases
- causal reasoning
- formal models
- reasoning and decision making
- reasoning mechanisms
- probabilistic logic
- knowledge base
- reasoning process
- knowledge representation
- coarse to fine
- probabilistic knowledge
- artificial intelligence
- model based reasoning
- modulo theories
- analogical reasoning
- approximate reasoning
- cognitive psychology
- uncertain information
- hierarchical classification
- spatial reasoning
- causal models
- hierarchical structure
- theoretical framework