Yet Some More Considerations On Cumulativity In Default Logics
暂无分享,去创建一个
[1] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[2] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.
[3] Nic Wilson,et al. Default Logic and Dempster-Shafer Theory , 1993, ECSQARU.
[4] Jürgen Dix. Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic , 1992, ECAI.
[5] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[6] Frans Voorbraak. Preference-Based Semantics for Nonmonotonic Logics , 1993, IJCAI.
[7] Laura Giordano,et al. On Cumulative Default Logics , 1994, Artif. Intell..
[8] Camilla Schwind,et al. A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic , 1990, CADE.
[9] Camilla Schwind,et al. A Tableau-Based Characterisation for Default Logic , 1991, ECSQARU.
[10] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[11] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[12] Vincent Risch. Les Tableaux analytiques au service des logiques de défauts , 1993 .
[13] Witold Łukaszewicz. Considerations on default logic: an alternative approach 1 , 1988 .
[14] Gerhard Brewka. Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..
[15] Torsten Schaub,et al. Possible Worlds Semantics for Default Logics , 1994, Fundam. Informaticae.
[16] Torsten Schaub. On Commitment and Cumulativity in Default Logics , 1991, ECSQARU.
[17] Torsten Schaub. On Constrained Default Theories , 1992, ECAI.