Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic.
Andrew ReynoldsRadu IosifCristina SerbanPublished in: VMCAI (2017)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- order of magnitude reasoning
- bounded model checking
- computational properties
- logical framework
- proof theoretic
- probabilistic logic
- human reasoning
- intuitionistic logic
- logical inference
- reasoning engine
- logic programming
- reasoning systems
- reasoning about actions
- reasoning tasks
- horn logic
- knowledge representation and reasoning
- knowledge representation
- commonsense reasoning
- abductive reasoning
- reasoning problems
- qualitative reasoning
- classical logic
- predicate logic
- derivation rules
- multi valued
- logical rules
- linear temporal logic
- knowledge base
- proof procedure
- scientific discovery
- causal reasoning
- theorem proving
- knowledge representation formalisms
- multi agent systems
- description logics
- logic programs
- deductive databases
- probabilistic reasoning
- default reasoning
- deontic logic
- probabilistic knowledge