Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover
暂无分享,去创建一个
[1] Vladimir Lifschitz,et al. Some Results on Circumscription , 1984, NMR.
[2] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[3] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[4] Drew McDermott,et al. Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.
[5] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[6] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[7] Witold Lukaszewicz. Nonmonotonic Logic for Default Theories , 1984, ECAI.
[8] James W. Goodwin. WATSON: A Dependency Directed Inference System , 1984, NMR.
[9] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[10] Gerhard Brewka,et al. Über normale Vögel, anwendbare Regeln und einen Default-Beweiser , 1985, GWAI.
[11] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[12] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[13] James W. Goodwin,et al. A Process Theory of Non-monotonic Inference , 1985, IJCAI.
[14] Raymond Reiter,et al. On Interacting Defaults , 1981, IJCAI.
[15] Benjamin N. Grosof. Default Reasoning as Circumscription , 1984, NMR.