| HYPERLOGIC Motalen LLC
90546244 25 Feb 2021 | on 20 Feb 2024
| Providing temporary use of online non-downloadable software that utili... Class 042 Class 042 Computer & Software Services & Scientific Services Providing temporary use of online non-downloadable software that utilizes hyper graphs and artificial intelligence to generate and solve logic problems, math problems, games, and computer programs, and assess, diagnose, edit and provide extensions of proofs, arguments, and solutions | | | HYPERLOG Motalen LLC
90546271 25 Feb 2021 | on 20 Feb 2024
| Platform as a service (PAAS) featuring computer software platforms for... Class 042 Class 042 Computer & Software Services & Scientific Services Platform as a service (PAAS) featuring computer software platforms for for implementing a functional computer programming language and for developing logic-based computer programs, the platform and language including compiler programs, editor programs, debugger programs and utility programs | | | MOTALEN Motalen LLC
90546751 25 Feb 2021 | on 28 Jun 2022
| Software development for education, governments, entertainment, gaming... Class 042 Class 042 Computer & Software Services & Scientific Services Software development for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions; Software development in the framework of software publishing, for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions; Design and development of multimedia products for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions | | | HYPERSLATE Motalen LLC
88583481 19 Aug 2019 | on 14 Apr 2020
| Providing temporary use of on-line non-downloadable software and softw... Class 042 Class 042 Computer & Software Services & Scientific Services HYPER SLATE | | | HYPERGRADER Motalen LLC
88573213 09 Aug 2019 | on 14 Apr 2020
| Providing temporary use of on-line non-downloadable software and softw... Class 042 Class 042 Computer & Software Services & Scientific Services HYPER GRADER | | | LAMA Motalen LLC
88583502 19 Aug 2019 | on 10 Mar 2020
| Educational services, namely, conducting informal online programs in t... Class 041 Class 041 Education and Entertainment Services Educational services, namely, conducting informal online programs in the field of logic in the nature of on-line activities featuring an educational paradigm for teaching formal logic using logic-based artificial intelligence, logic-based programming and information processing, logic-based games, and printable materials distributed therewith | |