Works Published in 1980
Displaying all 7 works
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1980 book
The Cm* Multiprocessor Project: A Research Review
Department of Computer Science, Carnegie-Mellon University.
Source: ORCID
Added: July 13, 2022
1980 report
The Cm* Multiprocessor Project: A Research Review
TL;DR:
This document reports the results of the first experiments to utilize the full fifty- processor Cm configuration, a stable, operational, Cm/50 configuration, routinely in use by several different research groups at a time.
(via Semantic Scholar)
Source: ORCID
Added: July 9, 2022
1980 report
LISP/370 under the Michigan Terminal System
Troy, NY: Rensselaer Polytechnic Institute, Mathematical Sciences Department.
Source: NC State University Libraries
Added: March 26, 2022
1980 conference paper
LETTER: a system for personalizing processed text
Proceedings of the ACM Joint SIGSMALL/SIGPLAN Symposium on Small Systems, 199–205.
Event: The ACM Joint SIGSMALL/SIGPLAN Symposium on Small Systems at Palo Alto, CA on September 17-19, 1980
Sources: NC State University Libraries, ORCID
Added: October 28, 2021
1980 journal article
Non-monotonic logic I
Artificial Intelligence, 13(1-2), 41–72.
Contributors: D. McDermott* & J. Doyle*
TL;DR:
A model and proof theories, a proof procedure, and applications for one non-monotonic logic are developed, and it is proved the completeness of the non-Monotonic predicate calculus and the decidability of theNon- monotonic sentential calculus.
(via Semantic Scholar)
Source: ORCID
Added: December 6, 2019
1980 journal article
A selected descriptor-indexed bibliography to the literature on belief revision
SIGART Bull., 4(71), 7–22.
TL;DR:
An overview of research in an area loosely called belief revision, which includes the study of methods for representing models of environments as collections of beliefs and the development of formal theories of belief, is presented.
(via Semantic Scholar)
hdl.handle.net (repository)
Source: ORCID
Added: December 5, 2019
1980 report
The Cm* Multiprocessor Project: A Research Review
(Technical Report No. CMU-CS-80-131). Department of Computer Science, Carnegie-Mellon University.
Ed(s): A. Jones & E. Gehringer
Source: NC State University Libraries
Added: April 14, 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.
