An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge
暂无分享,去创建一个
[1] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[2] Jon Doyle,et al. AMORD explicit control of reasoning , 1977, Artificial Intelligence and Programming Languages.
[3] Jon Doyle,et al. Truth Maintenance Systems for Problem Solving , 1977, IJCAI.
[4] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[5] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[6] Jon Doyle,et al. A model for deliberation, action, and introspection , 1981, SGAR.
[7] Vasant Dhar,et al. Planet : an intelligent decision support system for the formulation and investigation of formal planning models , 1984 .
[8] Alan Bundy,et al. Truth Maintenance System , 1984 .