An Efficient Solver for ASP(Q).

Wolfgang Faber Giuseppe Mazzotta Francesco Ricca

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

Keyphrases

web applications
answer set programming
social networks
learning environment
case study
data management
computationally efficient
orders of magnitude