Sign in

Constraint Specialisation in Horn Clause Verification.

Bishoksan KafleJohn 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