Herbrand Constraints (Extended Abstract).

Torbjörn Keisu

Published in: ICLP Workshop on Concurrent Constraint Programming (1993)

Keyphrases

extended abstract
logic programs
logic programming
constraint satisfaction
function symbols
data sets
machine learning
website
graphical models
constraint programming
soft constraints
horn clauses
multiple constraints