Trace Logic for Inductive Loop Reasoning.
Pamina GeorgiouBernhard GleissLaura KovácsPublished in: FMCAD (2020)
Keyphrases
- deductive reasoning
- automated reasoning
- proof theory
- knowledge representation
- reasoning engine
- human reasoning
- intuitionistic logic
- computational properties
- order of magnitude reasoning
- knowledge base
- proof theoretic
- logical inference
- knowledge representation formalisms
- reasoning systems
- classical logic
- probabilistic logic
- inductive reasoning
- horn logic
- inductive learning
- logical framework
- default reasoning
- logical rules
- derivation rules
- natural language
- abductive reasoning
- modal logic
- description logics
- proof procedure
- commonsense reasoning
- reasoning about actions
- nonmonotonic logics
- multi valued
- probabilistic reasoning