USING DECLARATIVE KNOWLEDGE REPRESENTATION TECHNIQUES: IMPLEMENTING TRUTH MAINTENANCE IN OPS5.
- M.I. Schor
- 1983
- First Conference on Artificial Intelligence Applications 1983
Publications
1 result at First Conference on Artificial Intelligence Applications 1983