Checking Herbrand Equalities and Beyond.

Markus Müller-Olm Oliver Rüthing Helmut Seidl

Published in: VMCAI (2005)

Keyphrases

function symbols
logic programs
consistency checking
logic programming
first order logic
statistical relational learning
bayesian networks
horn clauses
website
software engineering
high level
probabilistic model
integrity constraints
normal form
answer set programming
verification method