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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review


    Contributors:
    Morris, Robert (author) / Smith, Ben (author)

    Publication date :

    2003-05-20


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    The CICT Earth Science Systems Analysis Model

    Pell, Barney / Coughlan, Joe / Biegel, Bryan et al. | NTRS | 2004



    ATAC Autocuer Modeling Analysis

    R. L. Frey / C. D. Nealy / L. M. Rubin et al. | NTIS | 1981


    ATAC and GDI in a Small Two-Stroke Engine

    Gentili, R. / Frigo, S. | SAE Technical Papers | 1999