Constraint specialisation in Horn clause verification.

Bishoksan Kafle John P. Gallagher

Published in: Sci. Comput. Program. (2017)

Keyphrases

horn clauses
logic programs
inference rules
first order logic
inductive logic programming
model checking
database queries
signature verification
artificial intelligence
domain knowledge
background knowledge
formal verification