Abstract Solvers for Computing Cautious Consequences of ASP programs.

Giovanni Amendola Carmine Dodaro Marco Maratea

Published in: CoRR (2019)

Keyphrases

declarative programming
answer set programming
web applications
answer sets
logic programming
stable model semantics
higher level
high level
logic programs
low level
information retrieval
information technology
intermediate level
decision making
sat solvers
multi agent
fixpoint
sat solving
answer set programs