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