MAKING COMPROMISES AMONG ANTAGONIST CONSTRAINTS IN A PLANNER

[11] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208

[12] GONGAWARE T, 1983, 12TH P CAM IS ANN M

[13] HAYES PJ, 1975, 4TH P INT JOINT C AR

[14] JARED GEM, 1984, SOLID MODELING COMPU

[15] KONOLIGE K, 1980, 1ST P C AM ASS ART I

[16] LATOMBE JC, 1977, THESIS INPG GRENOBLE

[17] LATOMBE JC, 1979, 6TH P INT JOINT C AR

[18] LATOMBE JC, 1977, CAD SYSTEMS

[19] MATSUSHIMA K, 1982, ANN CIRP, V31

[20] MCDERMOTT DV, 1977, AITR402 MIT AI LAB R

[11] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208

[12] GONGAWARE T, 1983, 12TH P CAM IS ANN M

[13] HAYES PJ, 1975, 4TH P INT JOINT C AR

[14] JARED GEM, 1984, SOLID MODELING COMPU

[15] KONOLIGE K, 1980, 1ST P C AM ASS ART I

[16] LATOMBE JC, 1977, THESIS INPG GRENOBLE

[17] LATOMBE JC, 1979, 6TH P INT JOINT C AR

[18] LATOMBE JC, 1977, CAD SYSTEMS

[19] MATSUSHIMA K, 1982, ANN CIRP, V31

[20] MCDERMOTT DV, 1977, AITR402 MIT AI LAB R