Finding Finite Herbrand Models.

Stefan Borgwardt Barbara Morawska

Published in: LPAR (2012)

Keyphrases

database
probabilistic model
logic programs
statistical models
data sets
computational models
artificial intelligence
computer vision
prior knowledge
complex systems
neural network model