Complete Entailment Checking for Separation Logic with Inductive Definitions.
Jens PagelChristoph MathejaFlorian ZulegerPublished in: CoRR (2020)
Keyphrases
- logic based argumentation
- logic programming
- probabilistic logic
- deductive reasoning
- probabilistic reasoning
- verification method
- machine learning
- logic programs
- np complete
- concept learning
- data sets
- automated reasoning
- natural language processing
- probabilistic knowledge
- deontic logic
- asynchronous circuits
- bayesian networks
- propositional variables
- neural network