An Entailment Checker for Separation Logic with Inductive Definitions.
Cristina SerbanRadu IosifPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
- logic based argumentation
- logic programming
- deductive reasoning
- probabilistic logic
- inductive logic programming
- logic programs
- classical logic
- fixed point semantics
- inductive learning
- functional programs
- computational properties
- multi valued
- rule learning
- concept learning
- neural network
- modal logic
- np complete
- knowledge representation
- multi agent systems