Semi-naive evaluation in linear tabling.

Neng-Fa Zhou Yi-Dong Shen Taisuke Sato

Published in: PPDP (2004)

Keyphrases

evaluation method
real time
linear systems
learning algorithm
reinforcement learning
special case
linear programming
model checking
closed form
evaluation process