Login / Signup
Update Semantics under the Domain Closure Assumption.
Laurence Cholvy
Published in:
ICDT (1986)
Keyphrases
</>
update semantics
domain independent
logic programs