Playing Logic Programs with the Alpha-Beta Algorithm.

Jean-Vincent Loddo Roberto Di Cosmo

Published in: LPAR (2000)

Keyphrases

logic programs
alpha beta
learning algorithm
logic programming
np hard
inductive logic programming
game tree
prolog programs
objective function
optimal solution
linear programming
convergence rate
neural network
search algorithm
computational complexity
np complete