Disproving Inductive Entailments in Separation Logic via Base Pair Approximation.
James BrotherstonNikos GorogiannisPublished in: TABLEAUX (2015)
Keyphrases
- deductive reasoning
- functional programs
- logic programming
- approximation error
- approximation algorithms
- computational properties
- closed form
- error bounds
- inductive learning
- relative error
- modal logic
- multi valued
- efficient computation
- recursive programs
- approximation schemes
- deontic logic
- defeasible logic
- reinforcement learning
- inductive logic programming
- knowledge representation
- np hard
- expert systems