An efficient solver for ASP(Q).

Wolfgang Faber Giuseppe Mazzotta Francesco Ricca

Published in: CoRR (2023)

Keyphrases

answer set programming
web applications
database
image processing
metadata
data management
computationally efficient
constraint satisfaction