On Default Representation of Defeasible Inference and Specificity
暂无分享,去创建一个
[1] 松本 裕治. Default Reasoningと非単調論理(海外研究動向) , 1981 .
[2] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[3] Tran Cao Son,et al. An argument-based approach to reasoning with specificity , 2001, Artif. Intell..
[4] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[5] David Poole,et al. Dialectics and specificity: conditioning in logic-based hypothetical reasoning (preliminary report) , 1990 .
[6] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[7] Kurt Konolige,et al. Representing defaults with epistemic concepts , 1989, Comput. Intell..
[8] John F. Horty,et al. Some direct theories of nonmonotonic inheritance , 1994 .
[9] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[10] Hector Geffner,et al. Default reasoning - causal and conditional theories , 1992 .
[11] Raymond Reiter,et al. On Inheritance Hierarchies With Exceptions , 1983, AAAI.
[12] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .
[13] David Poole,et al. On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.
[14] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[15] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[16] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[17] David S. Touretzky,et al. The Mathematics of Inheritance Systems , 1984 .
[18] Li-Yan Yuan,et al. Compiling Defeasible Inheritance Networks to General Logic Programs , 1999, Artif. Intell..
[19] M. Gelfond,et al. Disjunctive Defaults , 1991 .