SATURATION, NONMONOTONIC REASONING AND THE CLOSED-WORLD ASSUMPTION

[1] Bobrow Daniel G., 1980, ARTIFICIAL INTELLIGE, V13

[2] BOSSU G, 1981, THESIS U AIX MARSEIL

[3] Clark KL, 1978, LOGIC DATA BASES

[4] COLMERAUER A, 1979, BASES THEORIQUES PRO

[5] DARLINGTON J, 1969, MACH INTELL, V4, P173

[6] THE MATHEMATICS OF NON-MONOTONIC REASONING [J]. ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 73 - 80

[7] DIPAOLA RA, 1971, R661PR RAND CORP REP

[8] KOWALSKI R, 1969, MACHINE INTELLIGENCE, V0004, P00087

[9] LYNDON R, 1964, NOTES LOGIC

[10] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J]. ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 27 - 39

[1] Bobrow Daniel G., 1980, ARTIFICIAL INTELLIGE, V13

[2] BOSSU G, 1981, THESIS U AIX MARSEIL

[3] Clark KL, 1978, LOGIC DATA BASES

[4] COLMERAUER A, 1979, BASES THEORIQUES PRO

[5] DARLINGTON J, 1969, MACH INTELL, V4, P173

[6] THE MATHEMATICS OF NON-MONOTONIC REASONING [J]. ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 73 - 80

[7] DIPAOLA RA, 1971, R661PR RAND CORP REP

[8] KOWALSKI R, 1969, MACHINE INTELLIGENCE, V0004, P00087

[9] LYNDON R, 1964, NOTES LOGIC

[10] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J]. ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 27 - 39