Constraint Specialisation in Horn Clause Verification.

Bishoksan Kafle John P. Gallagher

Published in: PEPM (2015)

Keyphrases

horn clauses
first order logic
logic programs
model checking
inductive logic programming
inference rules
database queries
database
face recognition
random variables
formal methods
signature verification