ipafair-sys

Ipafair-sys est une API incrémentale dédiée aux solveurs de cadres d'argumentation (AF). Il imite l'interface IPASIR pour les solveurs de SAT incrémentiels, mais est spécifiquement adapté aux dynamiques des cadres d'argumentation. Ce projet fournit des liens Rust pour l'API IPAFAIR.

Dépôt de code

https://github.com/crillab/ipafair-sys (nouvelle fenêtre)

Cas d'utilisation métiers

Cas d'utilisation fonctionnels

Utilise de l'intelligence artificielle : voir les initiatives de ses organisations qui l'ont aussi
Expose une API : voir les initiatives de ses organisations qui l'ont aussi

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Universités - Ministère chargé de l'Enseignement supérieur
      - Université d'Artois - Arras (organisation rattachée)

Description générée le lundi 18 mars 2024 à 20:59:20

D'autres initiatives de la même organisation

Université d'Artois
univ-artois.fr
gophersat
github.com/crillab/gophersat
d4
github.com/crillab/d4
d4v2
github.com/crillab/d4v2