I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Bossu, Genevieve and
Siegel, Pierre. 1985.
“Saturation, Nonmonotonic Reasoning and the Closed-World Assumption.” Artificial Intelligence 25(1): 13–63.