Computational Logic. A Progress Report
Abstract
The report describes the research work that is in progress in the Computational Logic Project at Syracuse University. A general introduction to the whole subject area is presented in the opening section, in which an attempt is made to view the field in a broad perspective and to relate it to the concerns of computer science and of artificial intelligence. The sections which follow the introduction are brief accounts of the particular problems which are currently under investigation. These problems are all related, in various ways, to the effort to design computational methods of inference-making for certain formal languages. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1972
- Accession Number
- AD0744990
Entities
People
- J. A. Robinson
Organizations
- Syracuse University