Search
Now showing items 1-10 of 766
A Framework for Representing Knowledge
(1974-06-01)
This is a partial theory of thinking, combining a number of classical and modern concepts from psychology, linguistics, and AI. Whenever one encounters a new situation (or makes a substantial change in one's viewpoint) ...
Artificial Intelligence, Language and the Study of Knowledge
(1975-07-01)
This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence ...
Some Problems in German in English Machine Translation
(1974-12)
This paper discusses some problems in the machine translation of natural language, in particular, for translation from German into English. An implementation of some parts of the translating process has been built. The ...
Program Restructuring for Virtual Memory Systems
(1975-03)
The problem area addressed in this report is program restructuring, a method of reordering the relocatable sectors of a program in its address space to increase the locality of the programs reference behavior, thereby ...
A Portable Compiler for the Language C
(1975-05)
This paper describes the implementation of a compiler for the language C. The compiler has been designed to be able to be capable of producing assembly-language code for most register-oriented machines with only minor recoding.
Equivalence Problems for Monadic Schemas
(1975-06)
A class of monadic program schemas is defined. This class, called iteration schemas, consists of schemas whose programs comprise assignment statements, conditional statements, and iteration statements. These schemas are ...
Strategy Selection in Medical Diagnosis
(1975-09)
The recorded, verbal problem-solving behavior of doctors performing the diagnostic task of taking a present illness was analyzed in this research. The goal of the analysis was to discover that data-acquisition strategies ...
Semantic of Communication Parallel Processes
(1975-09)
The thesis of this dissertation is that an understanding of the ordering constraints that are introduced among events of parallel process is essential to the understanding of synchronization and that therefore any language ...
Mechanization of Temporal Knowledge
(1975-09)
The design and implementation of a collection of computer programs knowledgeable about time "in general," called the time specialist, is described. The thesis that this time specialist can be placed in the service of ...
Semantical Considerations on Floyd-Hoare Logic
(1976-09)
This paper deals with logics of programs. The objective is to formalize a notion of program description and to give both plausible (semantic) and effective (syntactic) criteria for the notion of truth of a description. ...