Scalop est un logiciel open-source dont le but est de résoudre de manière efficace des problèmes d’inférence dans le cadre des systèmes d’argumentation. Notre logiciel fournit les outils de raisonnement permettant de prendre en charge les sémantiques d’acceptabilité et les requêtes usuelles.

Scalop a participé à la compétition ICCMA'23 dans les tracks “principale” et “dynamique”. Si vous êtes à la recherche de la librairie basée sur Scalop soumise à la track “dynamique”, vous trouverez son code sur Github.

Ce logiciel a été conçu en partie dans le cadre de l’ANR AGGREEY


Auteurs :
Jean-Marie Lagniez
Emmanuel Lonca
Jean-Guy Mailly

GPL    Toute catégorie    Logiciels récents    Raisonnement   

    • Aller sur la page web du logiciel

    Code source