Herbrand Consistency of Some Arithmetical Theories

Published in: CoRR (2010)

Keyphrases

logic programs
logic programming
first order logic
databases
neural network
theoretical framework
global constraints
consistency checking
statistical relational learning
data sets
data mining
machine learning
artificial intelligence
knowledge representation
horn clauses