Connections Between Default Reasoning and Partial Constraint Satisfaction
暂无分享,去创建一个
[1] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[2] Torsten Schaub,et al. Alternative Approaches to Default Logic , 1994, Artif. Intell..
[3] Eugene C. Freuder,et al. Partial Constraint Satisfaction , 1989, IJCAI.
[4] Randy Goebel,et al. Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .
[5] Ken Satoh. Formalizing Soft Constraints by Interpretation Ordering , 1990, ECAI.
[6] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[7] Bart Selman,et al. Hard Problems for Simple Default Logics , 1989, Artif. Intell..
[8] Alan K. Mackworth. Constraint Satisfaction , 1985 .
[9] Mark S. Boddy,et al. An Analysis of Time-Dependent Planning , 1988, AAAI.
[10] Gerhard Brewka,et al. Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.
[11] Rina Dechter,et al. Default Logic, Propositional Logic, and Constraints , 1991, AAAI.
[12] Torsten Schaub. On Constrained Default Theories , 1992, ECAI.
[13] Marco Schaerf,et al. Approximate Inference in Default Logic and Circumscription , 1992, Fundam. Informaticae.
[14] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..