AXIOMATIC_AI

Owner

Goods & Services

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

Providing on-line non-downloadable software for data processing and machine learning for use with formal logic-based artificial intelligence (AI); Providing on-line non-downloadable software for generating verifiable and interpretable responses to human inquiries using tractable logic; Providing on-line non-downloadable software for technical document analysis and real-time simulation