On the Computation of Paracoherent Answer Sets.

Giovanni Amendola Carmine Dodaro Wolfgang Faber Nicola Leone Francesco Ricca

Published in: CoRR (2017)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
extended logic programs
fixpoint
counter examples
logic program updates
reasoning tasks
information systems
nonmonotonic reasoning
disjunctive logic programming
dl programs