Classifying and Solving Horn Clauses for Verification.

Philipp Rümmer Hossein Hojjat Viktor Kuncak

Published in: VSTTE (2013)

Keyphrases

horn clauses
first order logic
inference rules
conceptual clustering
inductive logic programming
model checking
logic programs
database queries
metadata
lattice theory
database
data sets
programming language
contextual information
background knowledge
function symbols