NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT ReviewAn overview is presented of the Automated Reasoning CICT Program/Intelligent Systems project. Automated reasoning technology will help NASA missions by increasing the amount of science achieved, ensuring safety of spacecraft and surface explorers, and by enabling more robust mission operations.
Document ID
20030066325
Acquisition Source
Ames Research Center
Document Type
Other
Authors
Morris, Robert (NASA Ames Research Center Moffett Field, CA, United States)
Smith, Ben (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 21, 2013
Publication Date
May 20, 2003
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

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