College of Engineering
Displaying all 5 works
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1979 journal article
A truth maintenance system
Artificial Intelligence, 12(3), 231–272.
1979 journal article
GLIMPSE OF TRUTH MAINTENANCE.
Energy Technology Review, 1, 117–135. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018586473&partnerID=MN8TOARS
1979 journal article
EXPLICIT CONTROL OF REASONING.
Energy Technology Review, 1, 93–116. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018585420&partnerID=MN8TOARS
1979 thesis
Functionality and performance in capability-based operating systems
(Ph.D. thesis). Department of Computer Sciences, Purdue University.
1979 conference paper
Variable-length capabilities as a solution to the small-object problem
Proceedings of the seventh symposium on Operating systems principles - SOSP '79. Presented at the the seventh symposium.
Event: the seventh symposium