Linear tabling strategies and optimizations.

Neng-Fa Zhou Taisuke Sato Yi-Dong Shen

Published in: Theory Pract. Log. Program. (2008)

Keyphrases

optimization strategies
logic programming
knowledge base
linear systems
real time
databases
machine learning
objective function
expert systems
knowledge representation
closed form
piecewise linear
transfer function
optimal strategy