Schor, M. I. Using declarative knowledge representation techniques: Implementing truth maintenance in OPS5. In Proceedings of the First Conference on Artificial Intelligence Applications (1984), The IEEE Computer Society, The IEEE Computer Society Press, pp. 261--266.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

System Performance Advisor: An Expert System For Unix System.. - Hoogenboom (1992)   (1 citation)  (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC