A Comparison of ATMS and CSP Techniques
暂无分享,去创建一个
[1] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[2] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[3] Alan K. Mackworth. Constraint Satisfaction , 1985 .
[4] Johan de Kleer,et al. Problem Solving with the ATMS , 1986, Artif. Intell..
[5] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[6] Rina Dechter,et al. Network-based heuristics for constraint satisfaction problems , 1988 .
[7] Eugene C. Freuder. Synthesizing constraint expressions , 1978, CACM.
[8] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[9] Brian C. Williams,et al. Back to Backtracking: Controlling the ATMS , 1986, AAAI.