Compute Paracoherent Answer Sets via Saturation.

Francesco Ricca

Published in: RiCeRcA@AI*IA (2018)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
extended logic programs
logic program updates
fixpoint
counter examples
sat solvers
data types
knowledge representation
database systems
knowledge base
machine learning