Login / Signup

Update Semantics under the Domain Closure Assumption.

Laurence Cholvy
Published in: ICDT (1986)
Keyphrases
  • update semantics
  • domain independent
  • logic programs