On Closed World Data Bases
Raymond Reiter's 1978 paper formalizing the closed-world assumption: a database may treat any fact it cannot show to be true as false.
Also at Crossref record · Wikipedia
Part of the thread Unknown or false? proposes
authored by
- Raymond Reiter person 1939–2002 [src]