AXI

Downloadable computer programs and downloadable computer software for generating verifiable and interpretable responses to human inquiries using tractable logic; downloadable software for technical document analysis and real-time simulation; downloadable computer programs and downloadable computer software for formal logic-based artificial intelligence (AI)

providing online non-downloadable software for technical document analysis and real-time simulation; Providing online non-downloadable software for generating verifiable and interpretable responses to human inquiries using tractable logic; providing online non-downloadable software for formal logic-based artificial intelligence (AI)