An 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.
Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review
2003-05-20
Miscellaneous
No indication
English
The CICT Earth Science Systems Analysis Model
NTRS | 2004
|ATAC Autocuer Modeling Analysis
NTIS | 1981
|ATAC and GDI in a Small Two-Stroke Engine
SAE Technical Papers | 1999
|