Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification.
Bishoksan KafleJohn P. GallagherPublished in: HCVS (2014)
Keyphrases
- horn clauses
- lipschitz continuity
- convex hull
- first order logic
- convex sets
- inference rules
- logic programs
- inductive logic programming
- database queries
- convex optimization
- feasible set
- set valued
- high level
- model checking
- variational inequalities
- relational databases
- objective function
- piecewise linear
- semidefinite
- signature verification
- learning algorithm
- convex cone