Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.
Viorica Sofronie-StokkermansPublished in: FroCoS (2007)
Keyphrases
- causal reasoning
- formal models
- theoretical framework
- general theory
- legal cases
- plausible reasoning
- logical framework
- complex systems
- imprecise probabilities
- approximate reasoning
- theoretical models
- highly flexible
- design theory
- reasoning and decision making
- rough mereology
- truth maintenance systems
- reasoning mechanisms
- commonsense reasoning
- formal theory
- artificial intelligence
- knowledge processing
- automated reasoning
- high level