Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption.

John C. Shepherdson

Published in: J. Log. Program. (1984)

Keyphrases

closed world assumption
closed world assumptions
deductive databases
fixpoint semantics
model theoretic
databases
database
open world assumption
data exchange
logic programming
default logic
integrity constraints
situation calculus
query evaluation
belief networks
fixpoint
stable models
knowledge base