Forcing versus Closed World Assumption.

Marek A. Suchenek

Published in: ISMIS (1987)

Keyphrases

closed world assumption
data exchange
deductive databases
closed world assumptions
fixpoint semantics
data sets
machine learning
general purpose