Works Published in 1981
Displaying all 6 works
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1981 book
STAROS User and System Structure Manual
Department of Computer Science, Carnegie-Mellon University.
Source: ORCID
Added: July 13, 2022
1981 report
An attributed LL(1) compilation of Pascal into the lambda-calculus
(Technical Report No. CS-8103). Troy, NY: Rensselaer Polytechnic Institute Mathematical Sciences Department.
Source: NC State University Libraries
Added: March 26, 2022
1981 conference paper
A generalized class of polynomials that are hard to factor
Proceedings of the fourth ACM symposium on Symbolic and algebraic computation - SYMSAC '81. Presented at the the fourth ACM symposium.
Event: the fourth ACM symposium
TL;DR:
A class of univariate polynomials is defined which make the Berlekamp-Hensel factorization algorithm take an exponential amount of time.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
1981 article
A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.
Readings in Artificial Intelligence, pp. 496–516.
Source: ORCID
Added: December 5, 2019
1981 journal article
A model for deliberation, action, and introspection
SIGART Bull., 1(75), 10–10.
TL;DR:
This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as to deciding what other actions to take.
(via Semantic Scholar)
hdl.handle.net (repository)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1981 report
STAROS User and System Structure Manual
[Technical Report]. Department of Computer Science, Carnegie-Mellon University.
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.
