Nonmonotonic theories and their axiomatic varieties
暂无分享,去创建一个
[1] R. Wójcicki. Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .
[2] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.
[3] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[4] Zbigniew Stachniak. Two theorems on many-valued logics , 1988, J. Philos. Log..
[5] Zbigniew Stachniak,et al. Algebraic Sematics for Cumulative Inference Operations , 1993, AAAI.
[6] David Makinson,et al. General patterns in nonmonotonic reasoning , 1994 .
[7] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[8] Yoav Shoham,et al. New Results on Semantical Non-Monotonic Reasoning , 1988, NMR.
[9] B. Piochi. Logical matrices and non-structural consequence operators , 1983 .
[10] Grzegorz Malinowski,et al. Many-Valued Logics , 1994 .
[11] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .
[12] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..