On scaling dynamic programming problems with a multithreaded tabling Prolog system.

Miguel Areias Ricardo Rocha

Published in: J. Syst. Softw. (2017)

Keyphrases

dynamic programming
logic programming
problems involving
optimization problems
decision problems
practical problems
neural network
benchmark problems
solving problems
database
knowledge base
reinforcement learning
expert systems
general purpose
logic programs
mutual exclusion