Specifying Over-Constrained Problems in Default Logic
暂无分享,去创建一个
[1] Alan K. Mackworth. The Logic of Constraint Satisfaction , 1991, Artif. Intell..
[2] James P. Delgrande,et al. Default Logic Revisited , 1991, KR.
[3] Mark S. Fox,et al. Constraint-Directed Search: A Case Study of Job-Shop Scheduling , 1987 .
[4] Ken Satoh. Formalizing Soft Constraints by Interpretation Ordering , 1990, ECAI.
[5] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[6] Bart Selman,et al. Hard Problems for Simple Default Logics , 1989, Artif. Intell..
[7] Alan Borning,et al. Hierarchical Constraint Logic Programming , 1994, J. Log. Program..
[8] Eugene C. Freuder,et al. Partial Constraint Satisfaction , 1989, IJCAI.
[9] James P. Delgrande,et al. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..
[10] Wolfgang Bibel,et al. Constraint Satisfaction from a Deductive Viewpoint , 1988, Artif. Intell..