- Inférence en temps réel sous incertitude
- Raisonnement par déduction, induction et abduction
- Révision des croyances avec des paires de valeurs de vérité
- Gestion de mémoire basée sur l'expérience
- SDK multilingues pour Java, C++, Python, JS, Dart, Go
- Raisonnement limité par les ressources