Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.

Martin Brain Marina De Vos

Published in: Answer Set Programming (2003)

Keyphrases

answer set programming

formal theory

data management