A fact dependency system for the logic programmer

Truth maintenance systems for problem solving

Jon Doyle · DSpace@MIT (Massachusetts Institute of Technology) · 1977 · 121 citations · Full text

Computing, Computer Science, Algorithms +10

International Conference on Fifth Generation computer systems 1988

J. Nielsen · ACM SIGCHI Bulletin · 1989 · 66 citations · Full text

Computing, Computer Science, Computer Systems +6

The prolog phenomenon

Drew McDermott · ACM SIGART Bulletin · 1980 · 33 citations · Full text

Computing, Computer Science, Artificial Intelligence +12

Integrated CAAD systems

Tom Maver · Computer-Aided Design · 1980 · 23 citations

Logic programming: a computing tool for the architect of the future

Peter S.G. Swinson · Computer-Aided Design · 1982 · 22 citations

Engineering, Computer Engineering, Computer Science +8