Plausibility Structures for Default Reasoning
暂无分享,去创建一个
[1] Peter Gärdenfors,et al. Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..
[2] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[3] Joseph Y. Halpern,et al. Plausibility measures and default reasoning , 1996, JACM.
[4] Pierre Siegel,et al. A Representation Theorem for Preferential Logics , 1996, KR.
[5] Pierre Siegel,et al. Saturation, Nonmonotonic Reasoning and the Closed-World Assumption , 1985, Artif. Intell..
[6] Yves Moinard,et al. Circumscriptions from What They Cannot Do (preliminary Report) , 1998 .
[7] Joseph Y. Halpern,et al. Plausibility Measures: A User's Guide , 1995, UAI.
[8] Didier Dubois,et al. Representing Default Rules in Possibilistic Logic , 1992, KR.
[9] Alexander Bochman,et al. Brave Nonmonotonic Inference and Its Kinds , 2003, Annals of Mathematics and Artificial Intelligence.
[10] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[11] Marek A. Suchenek. First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment , 2004, Journal of Automated Reasoning.