Inconsistency Management and Prioritized Syntax-Based Entailment
暂无分享,去创建一个
Didier Dubois | Henri Prade | Salem Benferhat | Claudette Cayrol | Jérôme Lang | D. Dubois | H. Prade | J. Lang | S. Benferhat | C. Cayrol
[1] Judea Pearl,et al. System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .
[2] Gerhard Brewka,et al. Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.
[3] Nico Roos,et al. A Logic for Reasoning with Inconsistent Knowledge , 1992, Artif. Intell..
[4] Peter Gärdenfors,et al. Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..
[5] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[6] Claudette Cayrol,et al. Management of Preferences in Assumption-Based Reasoning , 1992, IPMU.
[7] L. Zadeh,et al. Fuzzy Logic for the Management of Uncertainty , 1992 .
[8] Peter Gärdenfors,et al. Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.
[9] V. Lifshitz. Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation , 1988 .
[10] Bernhard Nebel,et al. Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.
[11] Didier Dubois,et al. Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..
[12] Hector Geffner,et al. Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..
[13] Hector Geffner,et al. Default reasoning - causal and conditional theories , 1992 .
[14] Moisés Goldszmidt,et al. A Maximum Entropy Approach to Nonmonotonic Reasoning , 1990, IEEE Trans. Pattern Anal. Mach. Intell..
[15] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[16] Didier Dubois,et al. Representing Default Rules in Possibilistic Logic , 1992, KR.
[17] Kurt Konolige,et al. Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.
[18] L. R. Harris. Hypothetical reasoning , 1989 .
[19] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[20] J. M. Larrazabal,et al. Reasoning about change , 1991 .
[21] Ronald Fagin,et al. On the semantics of updates in databases , 1983, PODS.
[22] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..
[23] C. Cayrol. Un modèle logique général pour le raisonnement révisable , 1992 .
[24] Ulrich Junker. Prioritized Defaults: Implementation by TMS and Application to Diagnosis , 1991, IJCAI.