NAKED est un outil dédié à l'analyse et à la visualisation de bases de connaissances basées sur des règles existentielles. Il permet de calculer les réparations logiques d'une base incohérente, de générer des hypergraphes d'argumentation et de représenter graphiquement ces structures de manière interactive. Utilisé principalement dans le domaine de la logique formelle et de l'intelligence artificielle, il facilite la compréhension des incohérences et des conflits au sein des données.

SmartLB est un outil dédié à la construction rapide de treillis de concepts à partir de contextes binaires. Il permet d'extraire et de visualiser des structures logiques sous-jacentes à des ensembles de données, facilitant ainsi l'analyse et la compréhension des relations entre objets et attributs. Idéal pour les chercheurs ou analystes en data science, il offre une approche automatisée pour identifier des motifs et des hiérarchies dans des jeux de données complexes.

Arguments est un outil permettant de reconstruire et visualiser des arguments philosophiques ou logiques sous forme de schémas. Il facilite la création de diagrammes clairs et structurés à partir de texte, aidant ainsi à organiser et présenter des raisonnements de manière visuelle et compréhensible.