Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
Viorica Sofronie-StokkermansCarsten IhlemannSwen JacobsPublished in: Deduction and Decision Procedures (2007)
Keyphrases
- deductive reasoning
- knowledge representation
- formal methods
- knowledge base
- reasoning processes
- commonsense reasoning
- automated reasoning
- plausible reasoning
- truth maintenance systems
- model based reasoning
- formal models
- causal reasoning
- reasoning systems
- theoretical basis
- efficient implementation
- model checking
- theoretical framework
- computational model
- reasoning tasks
- neural network
- spatial reasoning
- cognitive maps
- machine learning