Computing Modular Paracoherent Answer Sets: Preliminary Result.

Bernardo Cuteri Carmine Dodaro Francesco Ricca

Published in: CILC (2019)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
counter examples
answer set semantics
answer set programs
expert systems
information systems
stable models