Computing finite models by reduction to function-free clause logic.

Peter Baumgartner Alexander Fuchs Hans de Nivelle Cesare Tinelli

Published in: J. Appl. Log. (2009)

Keyphrases

probabilistic model
complex systems
linear model
logic programming
accurate models
sound and complete axiomatization
social networks
decision trees
artificial neural networks
expressive power