Disunification for Ultimately Periodic Interpretations.

Matthias Horbach

Published in: LPAR (Dakar) (2010)

Keyphrases

horn clauses
first order logic
logic programs
inference rules
database queries
neural network
high level
inductive logic programming
periodic patterns
database
databases
machine learning
database systems
bayesian networks
data points