Hierarchical Reasoning in Local Theory Extensions and Applications.
Viorica Sofronie-StokkermansPublished in: SYNASC (2014)
Keyphrases
- formal models
- truth maintenance systems
- evidential reasoning
- causal reasoning
- knowledge base
- plausible reasoning
- deductive reasoning
- general theory
- reasoning systems
- theoretical basis
- hierarchical structure
- theoretical framework
- abstract argumentation
- computational properties
- logical framework
- hierarchical model
- automated reasoning
- proof theory
- knowledge representation formalisms
- cognitive maps
- multiscale
- decision making
- proof theoretic