CUD@ASP: Experimenting with GPGPUs in ASP solving.

Flavio Vella Alessandro Dal Palù Agostino Dovier Andrea Formisano Enrico Pontelli

Published in: CILC (2013)

Keyphrases

answer set programming
web applications
evolutionary algorithm
logic programming
data sets
neural network
image segmentation
reinforcement learning
data structure
answer set programs