- Inferência em tempo real sob incerteza
- Dedução, indução e raciocínio abdutivo
- Revisão de crenças com pares de valores de verdade
- Gerenciamento de memória baseado em experiências
- SDKs multilíngues para Java, C++, Python, JS, Dart, Go
- Raciocínio com limites de recursos