U.S. federal trademark · Serial No. 98773225
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 data processing and machine learning for use with formal logic-based artificial intelligence (AI)
Providing online non-downloadable software for data processing and machine learning for use with formal logic-based artificial intelligence (AI); providing online non-downloadable software for generating verifiable and interpretable responses to human inquiries using tractable logic; providing online non-downloadable software for technical document analysis and real-time simulation
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.