Automated Cyclic Entailment Proofs in Separation Logic.
James BrotherstonDino DistefanoRasmus Lerchedahl PetersenPublished in: CADE (2011)
Keyphrases
- logic programming
- probabilistic logic
- natural deduction
- automated theorem provers
- computer algebra
- proof search
- cut elimination
- theorem prover
- semi automated
- automated reasoning
- logical framework
- fixed point semantics
- theorem proving
- logic programs
- modal logic
- decision procedures
- formal proof
- classical logic
- automated theorem proving
- machine learning
- probabilistic inductive logic programming
- probabilistic reasoning
- formal proofs
- equational theories
- mathematical proofs
- logic based argumentation
- sequent calculus
- proof theory
- asynchronous circuits
- deontic logic
- probabilistic knowledge
- abductive reasoning
- predicate logic
- multi valued
- nonmonotonic reasoning
- inference rules
- np complete