Epistemic foundation of stable model semantics.

Yann Loyer Umberto Straccia

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

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
logic programming
normal logic programs
rdf graphs
modulo theories
answer sets
deductive databases
belief change
derivation rules
databases
data sources