Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.
Mnacho EchenimRadu IosifNicolas PeltierPublished in: CSL (2021)
Keyphrases
- deductive reasoning
- machine learning
- linear time temporal logic
- logic programming
- modal logic
- inductive learning
- monadic second order logic
- classical logic
- inductive reasoning
- situation calculus
- inductive logic programming
- recursive programs
- automated reasoning
- first order logic
- polynomial hierarchy
- valued logic
- rule learning
- action theories
- digital circuits
- defeasible logic
- datalog programs
- multi valued
- inductive inference
- expressive power
- logic programs