C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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