Paracoherent answer set computation.

Giovanni Amendola Carmine Dodaro Wolfgang Faber Francesco Ricca

Published in: Artif. Intell. (2021)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
counter examples
loop formulas
fixpoint
semantics of logic programs
machine learning
sat solvers
general purpose
relational databases
information systems
artificial intelligence