CIRCUMSCRIPTIVE THEORIES - A LOGIC-BASED FRAMEWORK FOR KNOWLEDGE REPRESENTATION

[1] Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]

[2] Henkin Leon, 1950, J SYMBOLIC LOGIC, V15, P81

[3] Hofstadter D. R., 1985, METAMAGICAL THEMAS Q

[4] Lifschitz V., 1988, FDN DEDUCTIVE DATABA, P177

[5] LIFSCHITZ V, 1985, P 9 INT JOINT C ART, V1, P121

[6] LIFSCHITZ V, 1987, P AAAI 87, V1, P364

[7] APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMONSENSE KNOWLEDGE [J]. ARTIFICIAL INTELLIGENCE, 1986, 28 (01) : 89 - 116

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

[9] MCCARTHY M, 1959, P TEDDINGTON C MECHA, P75

[10] MORRIS K, 1986, LECT NOTES COMPUT SC, V225, P554

[1] Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]

[2] Henkin Leon, 1950, J SYMBOLIC LOGIC, V15, P81

[3] Hofstadter D. R., 1985, METAMAGICAL THEMAS Q

[4] Lifschitz V., 1988, FDN DEDUCTIVE DATABA, P177

[5] LIFSCHITZ V, 1985, P 9 INT JOINT C ART, V1, P121

[6] LIFSCHITZ V, 1987, P AAAI 87, V1, P364

[7] APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMONSENSE KNOWLEDGE [J]. ARTIFICIAL INTELLIGENCE, 1986, 28 (01) : 89 - 116

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

[9] MCCARTHY M, 1959, P TEDDINGTON C MECHA, P75

[10] MORRIS K, 1986, LECT NOTES COMPUT SC, V225, P554