Formal systems for real-world knowledge
rules to code
Codifying human knowledge into formal logic.
Application in Regulations (SEC)
Math and Science Discovery
Affordable and trustable systems
Team Members:
Marzieh Nabi
Sareh Nabi
Mike Genesereth
Roland Vogl
Contact Us