Solveur de systèmes d'argumentation supportant les sémantiques préférées et stables. Résout les problèmes de vérification d'extensions et d'acceptabilité crédule et sceptique.
solver artificial-intelligence formal-logic argumentation-theory preferred-semantics stable-semantics
-
Updated
Feb 18, 2026 - C++