Abstract Solvers for Computing Cautious Consequences of ASP programs.

Giovanni Amendola Carmine Dodaro Marco Maratea

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

Keyphrases

declarative programming
answer set programming
web applications
logic programs
machine learning
answer set programs
answer sets
modulo theories
neural network
intermediate level
logic programming
higher level
evolutionary algorithm
highly optimized
search algorithm
case study
information retrieval