Hierarchic Reasoning in Local Theory Extensions.
Viorica Sofronie-StokkermansPublished in: CADE (2005)
Keyphrases
- deductive reasoning
- truth maintenance systems
- theoretical framework
- formal models
- proof theory
- default logic
- theoretical basis
- abstract argumentation
- plausible reasoning
- cognitive maps
- causal reasoning
- knowledge representation
- reasoning systems
- automated reasoning
- default reasoning
- hypothetical reasoning
- evidential reasoning
- formal theory
- reasoning problems
- analogical reasoning
- information systems
- fuzzy reasoning
- data model
- knowledge base