Tabling as a library with delimited control.

Benoit Desouter Marko van Dooren Tom Schrijvers

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

Keyphrases

control system
neural network
information systems
three dimensional
logic programming
databases
genetic algorithm
computer vision
decision trees
case study
multi agent systems
robotic systems
control theory