Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Bossu, Genevieve and
Siegel, Pierre. 1985.
“Saturation, Nonmonotonic Reasoning and the Closed-World Assumption.” Artificial Intelligence 25(1): 13–63.