Better Paracoherent Answer Sets with Less Resources.

Giovanni Amendola Carmine Dodaro Francesco Ricca

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

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set programs
answer set semantics
normal logic programs
extended logic programs
logic program updates
counter examples
artificial intelligence
object oriented
nonmonotonic reasoning