Login / Signup
Active Database Rules with Transaction-Conscious Stable-Model Semantics.
Carlo Zaniolo
Published in:
DOOD (1995)
Keyphrases
</>
stable model semantics
logic programs
answer set programming
stable models
database
logic programming
normal logic programs
rdf graphs
answer sets
modulo theories
derivation rules