- Inferencia en tiempo real bajo incertidumbre
- Razonamiento deducido, inductivo y abductivo
- Revisión de creencias con pares de verdad
- Gestión de memoria basada en la experiencia
- SDK multilingües para Java, C++, Python, JS, Dart, Go
- Razonamiento limitado por recursos