The Indefinite Closed World Assumption.

Quinzheng Kong M. Howard Williams G. Chen

Published in: Data Knowl. Eng. (1994)

Keyphrases

closed world assumption
deductive databases
integrity constraints
closed world assumptions
logic programming
fixpoint
query evaluation
data exchange
declarative semantics
fixpoint semantics
model theoretic
databases
machine learning
stable models
logic programs