Motalen LLC

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

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

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

Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software for constructing, editing, storing, and management of databases by human and artificial agents to manage written proofs, namely, formal and informal proofs that include a sequence of reasoning, written arguments, namely, facts and statements used to support a proposition, and computer programs

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

Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software that auto-generates math and logic problems, challenges, puzzles, and games; Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software that assesses submitted math and logic solutions and partial solutions, namely, math proofs, logic arguments, and computer programs; Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software that provides feedback, namely, grading, hints, and progress reports for math and logic problems, challenges, puzzles, and games