1. Presentation Agenda- SAIC Introduction- Stanford (KSL)- SRI International- Stanford (Formal Reasoning Group)- NWU- MIT- CMU- TextWise- SAIC SummaryDARPA 2. SAIC Integrated…