An ATMS-based geometric constraint solver for 3D CAD
暂无分享,去创建一个
[1] Jon Doyle,et al. Explicit Control of Reasoning , 1977 .
[2] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[3] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[4] Johan de Kleer,et al. Problem Solving with the ATMS , 1986, Artif. Intell..
[5] Charles L. Forgy,et al. Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..
[6] B. Aldefeld. Variation of geometrics based on a geometric-reasoning method , 1988 .
[7] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[8] Gregory M. Provan. Efficiency Analysis of Multiple-Context TMSs in Scene Representation , 1987, AAAI.