Transpiling Programmable Computable Functions to Answer Set Programs.

Ingmar Dasseville Marc Denecker

Published in: CoRR (2018)

Keyphrases

answer set programs
answer set programming
answer sets
database
machine learning
general purpose
logic programs