Local Reasoning for Global Invariants, Part I: Region Logic.
Anindya BanerjeeDavid A. NaumannStan RosenbergPublished in: J. ACM (2013)
Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- logical framework
- reasoning engine
- order of magnitude reasoning
- proof theoretic
- probabilistic logic
- computational properties
- knowledge representation
- intuitionistic logic
- default reasoning
- logic programming
- human reasoning
- knowledge base
- knowledge representation formalisms
- logical inference
- commonsense reasoning
- reasoning systems
- artificial intelligence
- proof procedure
- logical rules
- reasoning process
- reasoning tasks
- affine moment invariants
- reasoning about actions
- production rules
- table of contents
- probabilistic reasoning
- description logics
- multi valued