Termination Prediction for General Logic Programs

Yi-Dong Shen Danny De Schreye Dean Voets

Published in: CoRR (2009)

Keyphrases

general logic programs
logic programs
bayesian networks
causal theories