NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Research in advanced formal theorem-proving techniquesThe results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given.
Document ID
19740002065
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Raphael, B. (Stanford Research Inst. Menlo Park, CA, United States)
Fikes, R. (Stanford Research Inst. Menlo Park, CA, United States)
Waldinger, R. (Stanford Research Inst. Menlo Park, CA, United States)
Date Acquired
September 3, 2013
Publication Date
August 1, 1973
Subject Category
Computers
Report/Patent Number
NASA-CR-135840
Report Number: NASA-CR-135840
Accession Number
74N10177
Funding Number(s)
CONTRACT_GRANT: NASW-2086
PROJECT: SRI PROJ. 8721
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available