A Logic for Reasoning with Inconsistent Knowledge
暂无分享,去创建一个
[1] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[2] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..
[3] J. Dekleer. An assumption-based TMS , 1986 .
[4] L. R. Harris. Hypothetical reasoning , 1989 .
[5] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[6] Yoav Shoham,et al. Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.
[7] Gerhard Brewka. Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..
[8] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[9] Ayda I. Arruda. A survey of Paraconsistent Logic (1) , 1980 .
[10] J. M. Larrazabal,et al. Reasoning about change , 1991 .
[11] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[12] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[13] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[14] Nico Roos. A preference logic for non-monotonic reasoning , 1988 .
[15] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..