Lancé en 2016, SPSSAU se positionne comme un logiciel d'analyse statistique web de quatrième génération. Il intègre environ 500 algorithmes et tests intelligents, s'adaptant aux besoins des universités et des chercheurs du monde entier. Le principal différenciateur de SPSSAU est son analyse alimentée par l'IA, qui fournit des tables normalisées, des suggestions d'analyse et des interprétations intelligentes. Avec une approche sans installation, il est accessible via de simples téléchargements de fichiers par glisser-déposer, ce qui le rend extrêmement convivial. Le logiciel prend en charge divers formats de données et offre des services et des visualisations complètes, garantissant un processus d'analyse des données fluide et sécurisé. Il sert actuellement plus de 5 millions d'utilisateurs dans le monde entier, produisant plus de 50 millions de résultats d'analyse.

ASP-DALI fournit une plateforme unifiée pour définir et exécuter des agents intelligents basés sur la logique. Les développeurs écrivent des règles ASP pour représenter la connaissance et les objectifs de l’agent, tandis que les constructions DALI définissent les réactions aux événements et l’exécution des actions. À l’exécution, un solveur ASP calcule des ensembles de réponses qui guident la prise de décision de l’agent, lui permettant de planifier, de réagir aux événements entrants et d’ajuster ses croyances de manière dynamique. Le cadre supporte des bases de connaissances modulaires, facilitant les mises à jour incrémentielles et la séparation claire entre règles déclaratives et comportements réactifs. ASP-DALI est implémenté en Prolog avec des interfaces vers des solveurs ASP populaires, simplifiant l’intégration et le déploiement en recherche et prototypes.