Unifying Decidable Entailments in Separation Logic with Inductive Definitions.
Mnacho EchenimRadu IosifNicolas PeltierPublished in: CADE (2021)
Keyphrases
- deductive reasoning
- linear time temporal logic
- logic programming
- machine learning
- modal logic
- inductive learning
- automata theoretic
- automated reasoning
- functional programs
- classical logic
- computational properties
- truth values
- knowledge representation
- first order logic
- logic based argumentation
- fixed point semantics
- digital circuits
- multi valued
- transitive closure
- inductive inference
- concept learning
- programming language