Sign in
An iterative approach to precondition inference using constrained Horn clauses.
Bishoksan Kafle
John P. Gallagher
Graeme Gange
Peter Schachte
Harald Søndergaard
Peter J. Stuckey
Published in:
Theory Pract. Log. Program. (2018)
Keyphrases
</>
horn clauses
first order logic
inference rules
conceptual clustering
inductive logic programming
logic programs
lattice theory
probabilistic inference
database queries
function symbols
bayesian networks
belief networks
inference process
general purpose
programming language