Closed world assumption
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
closed world assumption
(CWA) in a theorem prover, logic programming language, or database system, the convention that if a question cannot be proved to be true, it may be assumed to be false. cf. open world assumption.
Contributeurs: Isaline Hodecent, wiki