共 23 条
- [1] BROWN JS, 1983, INTELLIGENT TUTORING, P227
- [2] Clocksin W. F., 1981, PROGRAMMING PROLOG
- [3] de Kleer J., 1976, AIM394 MIT ART INT L
- [5] A QUALITATIVE PHYSICS BASED ON CONFLUENCES [J]. ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) : 7 - 83
- [8] DEKLEER J, 1979, TR529 MIT ART INT LA
- [9] DEKLEER J, 1980, CIRCUIT THEORY APPLI, V8
- [10] DEKLEER J, UNPUB ARTIFICIAL INT