A Proof Procedure For Separation Logic With Inductive Definitions and Theory Reasoning.
Mnacho EchenimNicolas PeltierPublished in: CoRR (2022)
Keyphrases
- proof procedure
- theorem proving
- deductive reasoning
- propositional logic
- model theoretic
- first order logic
- proof procedures
- predicate calculus
- abductive logic programming
- knowledge representation
- theorem prover
- automated reasoning
- proof theory
- proof search
- operational semantics
- decision procedures
- description logics
- deductive databases
- propositional satisfiability
- belief revision
- probabilistic reasoning
- inductive logic programming
- logic programming
- natural language