Works Published in 1979

search works

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.

By: J. Doyle*

Contributors: J. Doyle*

TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

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

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

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

By: J. Kleer, J. Doyle, G. Steele & G. Sussman

Contributors: J. Kleer, J. Doyle, G. Steele & G. Sussman

Source: ORCID
Added: December 6, 2019

1979 thesis

Functionality and performance in capability-based operating systems

(Ph.D. thesis). Department of Computer Sciences, Purdue University.

By: E. Gehringer

Sources: NC State University Libraries, ORCID
Added: April 14, 2019

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.

By: E. Gehringer*

Event: the seventh symposium

TL;DR: This paper presents a scheme for representing both large and small entitles In a computation, down to integers and character strings, as objects, by a generalization of tagged memory to encompass extended data types and by the use of variable-length capabilities. (via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: March 30, 2019

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.