IA Symbolique

Preuves formelles, logique et planification

Preuves formelles en Lean 4, logique probabiliste avec Tweety, web sémantique, planification classique et avancée, contrats intelligents. Du raisonnement déductif à la vérification formelle.

Statistiques

Métrique Valeur
Notebooks 313
PRODUCTION 0
BETA 304
ALPHA 9

SymbolicAI (1 notebooks)

# Notebook Maturité Exécutable
1 Configuration de l’environnement C# BETA Oui

SymbolicAI/Argument_Analysis (31 notebooks)

# Notebook Maturité Exécutable
1 Détection symbolique de sophismes — l’étage symbolique… BETA Oui
2 Gouvernance multi-agents : scrutins, protocoles, choix… BETA Oui
3 Configuration de l’environnement (JVM Tweety réelle,… BETA Oui
4 Le modèle de Toulmin (1958) BETA Oui
5 Reconnaître un schéma d’argumentation — la table de… BETA Oui
6 Détection de sophismes par taxonomie BETA Oui
7 Argumentum : la carte de sophisme, du nœud de taxonomie… BETA Oui
8 Argumentation abstraite de Dung — sémantiques grounded,… BETA Oui
9 Argumentation basée sur les valeurs (VAF, Bench-Capon… BETA Oui
10 Argumentation graduée — sémantiques de classement… BETA Oui
11 Dialogues protocolisés : inquiry et persuasion… BETA Oui
12 La base de connaissances d’un débat — propositions,… BETA Oui
13 Vérification logique formelle avec Tweety BETA Non
14 Routage multi-backend : décider ou échouer bruyamment BETA Oui
15 Truth Maintenance System (JTMS) déterministe BETA Oui
16 Deux paradigmes d’orchestration BETA Non
17 Le bus de communication multi-agents — le contrat,… BETA Oui
18 Orchestration d’un debat : arbitrer entre sept… BETA Oui
19 Capstone d’intégration (baseline 0-shot vs pipeline) BETA Non
20 Analyse rhétorique collaborative par agents IA —… BETA Non
21 Interface de configuration et préparation du texte BETA Oui
22 Restitution en 3 actes — scaffold déterministe,… BETA Non
23 ArgumentProfile : la fiche d’identité… BETA Oui
24 Graphes d’argumentation datés — l’instrument $G_t^{arg}… BETA Oui
25 Observatoire des formes relationnelles — Cas 1 BETA Oui
26 Strate 6 : le banc de recollement BETA Oui
27 Strate 6 : le recollement sur lectures réellement… BETA Oui
28 Ontologie AIF.owl — l’architecture Argumentum des… ALPHA Oui
29 Liens croisés crossLink et attaques AIF du CSV… BETA Oui
30 Ontologie des vertus argumentatives — le pôle miroir… BETA Oui
31 I2 — Génération de contre-arguments par raisonnement… BETA Oui

SymbolicAI/Lean (85 notebooks)

# Notebook Maturité Exécutable
1 ANALYSE-01 : La Conjecture de Sendov (preuve L. Mazur,… BETA Non
2 ANALYSE-02 : Le manuel Analysis I de T. Tao en Lean 4… BETA Non
3 ANALYSE-03 : La conjecture de Freiman-Ruzsa polynomiale… BETA Non
4 ANALYSE-04 : Trois primitives de PFR, et l’endroit… BETA Non
5 Geometry 01 — De la figure à l’équation BETA Non
6 Geometry 02 — Prouver par l’algèbre BETA Non
7 Geometry 03 — La méthode de Wu BETA Non
8 Geometry 03b — Décomposition de Ritt et composantes… BETA Non
9 Geometry 04 — Raisonner comme un géomètre (DD + AR) BETA Non
10 Langlands 01 : formes modulaires — de SL₂(ℤ) aux… BETA Non
11 Monstrous Moonshine : l’invariant \(j\) et le monstre BETA Non
12 Lean 4 - Installation et Configuration BETA Non
13 Lean 2 - Types Dependants et Calcul des Constructions BETA Non
14 Lean 3 - Propositions et Preuves BETA Non
15 Lean-3b — Formalized Formal Logic : le laboratoire… BETA Non
16 Lean 4 - Quantificateurs et Logique du Premier Ordre BETA Non
17 Lean 5 - Mode Tactique BETA Non
18 Lean 6 - Mathlib4 : La Bibliotheque Mathematique BETA Non
19 Lean 7 - Integration des LLMs pour l’Assistance aux… BETA Non
20 Lean 7b - Exemples Progressifs et Benchmarks BETA Non
21 Lean-8 - Agents Autonomes pour Demonstration de… BETA Non
22 Lean 8b : le programme Erdős et le pattern… BETA Non
23 Lean 9 : Multi-Agents avec Semantic Kernel BETA Non
24 Lean 10 : LeanDojo - ML/LLM Theorem Proving BETA Non
25 Lean 11 - TorchLean : Réseaux de Neurones Formellement… BETA Non
26 Lean 11b - TorchLean : Implémentation Python des… BETA Non
27 Lean-12 : Le Théorème de Sensibilité (Huang 2019) BETA Non
28 Lean-12b — Théorème de Sensibilité de Huang (companion… BETA Non
29 Lean-12c : algèbre TPR — binding, unbinding et… BETA Non
30 Lean-13 : Le Théorème de Kochen-Specker (Cabello 18… BETA Non
31 Lean-13b : la borne de Tsirelson — digestion formelle… BETA Non
32 Lean-13c : la saturation de Tsirelson — le témoin de… BETA Non
33 Lean-15 : Hommage a Alexandre Grothendieck – Le… BETA Non
34 Lean-15b : Grothendieck en Lean – Atelier pratique BETA Non
35 Lean-15c : le lake Grothendieck par ses énoncés… BETA Non
36 Lean-15d : Grothendieck en images ALPHA Non
37 Lean-16a - Conway, l’homme et l’oeuvre BETA Non
38 Lean-16b : Hommage a John Conway — Game of Life as… BETA Non
39 Lean-16c - Conway Game of Life : les 3 piliers, en… BETA Non
40 Lean-16d : Game of Life sur kernel Lean natif BETA Non
41 Lean-16e : FRACTRAN, la machine universelle de Conway,… BETA Non
42 Lean-16f : Le Théorème du Libre Arbitre (Conway-Kochen) BETA Non
43 Lean 16g — Canons : le barreau 2 de l’échelle des… BETA Non
44 Lean-16h : la tournée des motifs du Jeu de la Vie —… BETA Non
45 Lean-16i — Synthèse d’un translateur minuscule :… BETA Non
46 Lean-16j : la preuve de correction Hashlife — compagnon… BETA Non
47 Lean 17a — Conway, les Nœuds et la Preuve de Piccirillo BETA Non
48 Lean 17b — Invariants de Nœuds : Calcul et Vérification BETA Non
49 Lean 17c — Le lake knot_lean par ses déclarations… BETA Non
50 Lean-20 : Capstone — digérer le travail formel de Tao… BETA Non
51 Lean-21 : Detection MIMO par flips – le seuil 2 log N… BETA Non
52 Lean-21b : le lake mimo_lean par ses énoncés —… BETA Non
53 Lean-21c : Le budget de descente - quand la… BETA Non
54 Lean-22 : Le problème inverse de Galois — M₂₃ refermé… BETA Non
55 Lean-23 : ERC-20 sous Lean 4 — l’invariant de… BETA Non
56 Lean-23b — ERC-20 natif : l’invariant de conservation… BETA Non
57 Lean-24 : le lake calibration_lean par ses énoncés —… BETA Non
58 Lean-24b : Confiance et preuves — quand un certificat… BETA Non
59 Lean-25 — Cohérence et témoin : de Finetti construit le… BETA Non
60 Lean-26 : Hommage à James R. Munkres — le cours 18.901… BETA Non
61 Lean-27 : coloration d’arêtes et conjecture de Tutte —… BETA Non
62 Lean-28 : Le problème de Hopf sur S⁶ — digestion d’une… BETA Non
63 Lean-29 : les opérateurs de Hecke \(T_p\) et \(U_p\) —… BETA Non
64 Lean-30 : groupes formels multivariés — compagnon natif BETA Non
65 Lean-31 : Euler et Navier–Stokes — reproduction pinée,… BETA Non
66 Lean-33 : espaces de Schwartz — décroissance et… BETA Non
67 Lean-34 — Calculabilité et limites : de l’arrêt aux… BETA Non
68 Lean-34b — FairBot par le théorème de Löb : coopérer… BETA Non
69 Lean-36 : structures mathematiques finies — l’Annexe A… BETA Non
70 Lean-37 : Capstone — la sous-série « Serre 100 » BETA Non
71 Corps finis et la borne de Hasse — distiller un… BETA Non
72 2. Valeurs zêta multiples finies — l’anneau des adèles… BETA Non
73 Cohomologie de Čech calculée — espaces topologiques… BETA Non
74 Lemme de Yoneda calculé — catégories finies BETA Non
75 5. Tables de caractères — le squelette combinatoire… BETA Non
76 Les bulles diaboliques de Minkowski — géométrie des… BETA Non
77 Zéros de fonctions L, gaps et statistique GUE BETA Non
78 Serre dans Mathlib — tour guidé des cinq monuments BETA Non
79 τ de Ramanujan — congruences, borne de Deligne, et la… BETA Non
80 10 — Empilements de sphères : la borne linéaire de… BETA Non
81 11 — Corps quadratiques imaginaires, caractères de… BETA Non
82 12 - Formes quadratiques binaires et nombre de classes BETA Non
83 13 - Loi de reciprocité quadratique II : symbole de… BETA Non
84 14 - Composition des formes quadratiques binaires et… BETA Non
85 15 - Théorème de Lagrange : tout entier est somme de… BETA Non

SymbolicAI/Planners (25 notebooks)

# Notebook Maturité Exécutable
1 Planners-0-Setup BETA Oui
2 Planners-1-Introduction-Csharp : la planification… BETA Oui
3 Planners-1-Introduction a la Planification Automatique BETA Oui
4 Planners-2-PDDL-Basics-Csharp BETA Oui
5 Planners-2-PDDL-Basics BETA Oui
6 Planners-3 : Recherche dans l’Espace d’Etats — twin C#… BETA Oui
7 Planners-3-State-Space - Recherche dans l’Espace… BETA Oui
8 Planners-4-Fast-Downward (C#) BETA Oui
9 Planners-4-Fast-Downward - Planificateur Classique BETA Oui
10 Planners-5-Heuristics-Csharp BETA Oui
11 Planners-5-Heuristiques en Planification BETA Oui
12 Planners-5b — Admissibilité de la relaxation… BETA Non
13 Planners-5c — Le différentiel d’atteignabilité : ce que… BETA Oui
14 Planners-6-Domains-Csharp — Jumeau C# : planificateur… BETA Oui
15 Planners-6-Domains - Domaines Classiques de… BETA Oui
16 Planners-7-OR-Tools-Csharp — Jumeau C# : solveur CP… BETA Oui
17 Planners-7-OR-Tools - Programmation par Contraintes BETA Oui
18 Planners-8-Temporal — Planification Temporelle (twin… BETA Oui
19 Planners-8-Temporal - Planification Temporelle BETA Oui
20 Planners-9-HTN (C#) BETA Oui
21 Planners-9-HTN - Planification Hiérarchique BETA Oui
22 Planners-10: LLMs pour la Planification BETA Non
23 Planners-10b: Le LLM comme reducteur d’espace de… BETA Non
24 Planners-11: Unified Planning BETA Oui
25 Planners-12: Learning to Plan avec LOOP BETA Non

SymbolicAI/SMT (46 notebooks)

# Notebook Maturité Exécutable
1 Z3 (C# / .NET) — Introduction au solveur SMT BETA Oui
2 Z3-Python 01 — Introduction a la resolution de… BETA Oui
3 Z3-Python 01b — Du style declaratif LINQ au solveur Z3… BETA Oui
4 Z3 (C# / .NET) — Sudoku par contraintes BETA Oui
5 Z3-Python 02 — Sudoku comme problème de satisfaction de… BETA Oui
6 Z3 (C# / .NET) — Tactiques, théories BitVec et Array BETA Oui
7 Z3-Python 03 — Tactiques et théories BETA Oui
8 Z3 (C# / .NET) — Théorie des chaînes et expressions… BETA Oui
9 Z3-Python 04 — Chaînes de caractères et expressions… BETA Oui
10 Z3 (C# / .NET) — Quantificateurs et preuves par… BETA Oui
11 Z3-Python 05 — Quantificateurs et preuves formelles BETA Oui
12 Z3-Python 06 – Optimisation avancee (twin C#) BETA Oui
13 Z3-Python 06 — Optimisation avancee BETA Oui
14 Z3-Python-08 : Ordonnancement de tâches (Job-Shop… BETA Oui
15 Z3-Python-09 : L’enigme d’Einstein (Zebra puzzle) BETA Oui
16 10. Cryptarithmes (SEND + MORE = MONEY) BETA Oui
17 11 - Coloration de Graphe avec Z3 BETA Oui
18 12. Arithmetique reelle : raisonner sur les… BETA Oui
19 13. UNSAT cores : expliquer l’insatisfiabilite (le ’… BETA Oui
20 Z3-Python-13b — UNSAT cores : le MUS (sous-ensemble… BETA Oui
21 14. Bit-vectors : verifier le debordement arithmetique BETA Oui
22 15. Tableaux imbriqués et grilles 2D : carrés latins,… BETA Oui
23 16. Meal-Planner déclaratif : du modèle Z3 au plan… BETA Oui
24 Z3-Python-16b — Meal-Planner : couche de données… BETA Oui
25 Z3-Python-16c — Meal-Planner : capstone patient… BETA Oui
26 Z3-Python-16d — Convergence à l’échelle : l’encodage… BETA Oui
27 Z3-Python-16e — Meal-Planner : l’optimisation (du SAT à… BETA Oui
28 Z3-Python 17 — Théorie des tableaux : Select, Store et… BETA Oui
29 Z3-Python 18 — Sudoku 4x4 : comparaison des modes Array… BETA Oui
30 LINQ to Z3 - Résolution de Contraintes Déclarative BETA Oui
31 Sudoku : Théorème Explicite vs Modèle Implicite par… BETA Oui
32 Sudoku 4x4 : comparaison des modes Array et Constants BETA Oui
33 Théorie des Tableaux Z3 — Select, Store et Switching BETA Oui
34 Tableaux Imbriqués et Grilles 2D : API Déclarative… BETA Oui
35 Notebook 06 — Meal-Planner declaratif : du modèle Z3 au… BETA Oui
36 07 — Données réelles & externe : Ciqual × RecipeML… BETA Oui
37 08 — Capstone hiérarchique : du squelette int[][] réel… BETA Oui
38 09 — Convergence à l’échelle : l’encodage décide de la… BETA Oui
39 10 — Générer un témoin depuis A & ~B (fork Automata… BETA Oui
40 Notebook 11 — Ordonnancement d’atelier (Job Shop… BETA Oui
41 Notebook 12 - Coloration de graphe : le graphe de… BETA Oui
42 Notebook 13 — Cryptarithmes : l’arithmétique… BETA Oui
43 Notebook 14 — De SAT à OPT : optimisation et… BETA Oui
44 15 — Théorie des bit-vectors Z3 : vérifier le… BETA Oui
45 17 — UNSAT cores Z3 : expliquer l’insatisfiabilité (le… BETA Oui
46 Notebook 18 - L’enigme d’Einstein : la logique des… BETA Oui

SymbolicAI/SemanticWeb (28 notebooks)

# Notebook Maturité Exécutable
1 Introduction au web sémantique avec RDF.Net BETA Non
2 SW-1-Setup BETA Oui
3 SW-10-CSharp-RDFStar — Jumeau C# : annoter des triplets… BETA Oui
4 SW-10-Python-RDFStar BETA Oui
5 SW-11-CSharp-KnowledgeGraphs ALPHA Oui
6 SW-11-Python-KnowledgeGraphs ALPHA Oui
7 SW-12-Python-GraphRAG BETA Non
8 SW-13-Reasoners BETA Oui
9 SW-13 (C#) : Raisonneurs RDF/OWL — Inferer des… BETA Oui
10 SW-14 — Le coup ontologique comme diff de graphe… BETA Oui
11 SW-15 — Le coup argumentatif : greffer AIF sur le coup… BETA Oui
12 SW-16 — Proof-Carrying Ontologies : le certificat… BETA Oui
13 SW-2-RDFBasics BETA Oui
14 SW-2b-Python-RDFBasics BETA Oui
15 SW-3-GraphOperations BETA Oui
16 SW-3b-Python-GraphOperations BETA Oui
17 SW-4-SPARQL BETA Oui
18 SW-4b-Python-SPARQL BETA Oui
19 SW-5-LinkedData BETA Non
20 SW-5b-Python-LinkedData BETA Non
21 SW-6-RDFS BETA Oui
22 SW-6b-Python-RDFS BETA Oui
23 SW-7-OWL BETA Oui
24 SW-7b-Python-OWL BETA Non
25 SW-8-CSharp-SHACL BETA Oui
26 SW-8-Python-SHACL BETA Oui
27 SW-9-CSharp-JSONLD – JSON-LD avec dotNetRDF (twin C#) BETA Oui
28 SW-9-Python-JSONLD BETA Oui

SymbolicAI/SmartContracts (31 notebooks)

# Notebook Maturité Exécutable
1 SC-00-Cypherpunk-Origins-Python - Les origines… BETA Oui
2 SC-01-Setup-Foundry-Python - Environnement Smart… BETA Oui
3 SC-02-Setup-Web3py-Python - Python et la Blockchain BETA Oui
4 SC-2b - Bac a sable institutionnel : des acteurs, pas… BETA Non
5 SC-03-Solidity-Basics-Python - Fondements de Solidity BETA Oui
6 SC-04-Functions-State-Python - Fonctions et État BETA Oui
7 SC-05-Inheritance-Python - Heritage et Interfaces BETA Oui
8 SC-06-Errors-Events-Python - Erreurs et Événements BETA Oui
9 SC-07-Token-Standards-Python - Standards de Tokens BETA Oui
10 SC-7c : ERC-20 — compagnon natif Lean (kernel… ALPHA Non
11 SC-08-DeFi-Primitives-Python - Primitives DeFi BETA Oui
12 SC-09-DAO-Governance-Python - Gouvernance DAO BETA Oui
13 SC-10-Account-Abstraction-Python - ERC-4337 v0.9 BETA Oui
14 SC-11-LLM-Assisted-Python - Développement Smart… BETA Non
15 SC-7b : ERC-20 + Lean — vérification formelle de… BETA Non
16 SC-12-Foundry-Testing-Python - Tests avec Foundry BETA Non
17 SC-13-Fuzz-Invariants-Python - Fuzz Testing BETA Oui
18 SC-14-Formal-Vérification - Vérification Formelle BETA Non
19 SC-15-Zero-Knowledge-Proofs-Python - Preuves a… BETA Oui
20 SC-16-Homomorphic-Encryption-Python - Chiffrement… BETA Oui
21 SC-17-E2E-Verifiable-Voting-Python - Vote Electronique… BETA Oui
22 SC-18-Vyper-Python - Smart Contracts en Python-like BETA Oui
23 SC-19-Ripple-XRP-Python - Protocole Ripple et XRP… BETA Oui
24 SC-20-Bitcoin-Scripting-Python - Bitcoin, UTXO et… BETA Non
25 SC-21-Move-Sui-Python - Move sur Sui BETA Oui
26 SC-22-Solana-Anchor-Python - Solana avec Anchor BETA Oui
27 SC-23-Cross-Chain-Python - Interoperabilite Cross-Chain BETA Oui
28 SC-24 : Deploiement sur Testnets BETA Oui
29 SC-25 : Deploiement Mainnet (L2) BETA Oui
30 SC-26 : Projet Final - DApp Complete BETA Oui
31 SC-27 : Dette d’irréversibilité — la boucle de… BETA Oui

SymbolicAI/SymbolicLearning (27 notebooks)

# Notebook Maturité Exécutable
1 SL-1 - Apprentissage Logique : CBH Search et Version… BETA Oui
2 SL-1 - Apprentissage Logique : CBH Search et Version… BETA Oui
3 SL-10 — Apprentissage Actif d’Automates (L*… BETA Oui
4 SL-10 — Apprentissage Actif d’Automates (L*… BETA Oui
5 SL-11 — Capstone : un pipeline neuro-symbolique de… BETA Non
6 SL-12 : Differentiable Logic Gate Networks BETA Non
7 SL-12b-PavlovDLS-Reproduction — artefact Pavlov (DLS… BETA Oui
8 SL-12b : Synthèse logique spectrale — Fourier booléen… BETA Oui
9 SL-13 : DISCOVER léger — diagnostic de structure TPR… BETA Non
10 SL-13b : TPR x SAE — deux lectures des mêmes états… BETA Non
11 SL-14 — AI Feynman : découvrir des équations BETA Oui
12 SL-15 — Conjectures apprises pour un vérificateur… BETA Oui
13 SL-1b — Apprentissage PAC formellement : le lake… BETA Non
14 SL-2 - Apprentissage et Connaissance : EBL & RBL (C#) ALPHA Oui
15 SL-2 — Apprentissage et Connaissance (EBL & RBL) BETA Oui
16 SL-3 — Apprentissage basé sur la pertinence (twin C#… BETA Oui
17 SL-3 — Apprentissage Base sur la Pertinence (RBL… BETA Oui
18 SL-4 — Programmation Logique Inductive (ILP) — Twin C#… BETA Oui
19 SL-4 — Programmation Logique Inductive (ILP) BETA Non
20 SL-5 - Resolution Inverse & ILP (C#) ALPHA Oui
21 SL-5 — Resolution Inverse et Progol (ILP bottom-up) BETA Oui
22 SL-6 (C#) : Moteurs ILP modernes — apprendre des… BETA Oui
23 SL-6 — Moteurs ILP modernes : Aleph, Metagol, Popper… BETA Non
24 SL-7 : Integration Neuro-Symbolique BETA Non
25 SL-8 (C#) : ILP Moderne et Knowledge Graphs BETA Oui
26 SL-8 - ILP Moderne et Knowledge Graphs BETA Oui
27 SL-9 - LLMs et Apprentissage Symbolique : Generation et… BETA Non

SymbolicAI/Tweety (39 notebooks)

# Notebook Maturité Exécutable
1 Configuration et Installation TweetyProject BETA Oui
2 Tweety C# / IKVM - Logiques de Base (Port .NET du… BETA Oui
3 Logiques de Base - Propositionnelle et Premier Ordre BETA Oui
4 Tweety C# / IKVM - Sémantique propositionnelle : mondes… BETA Oui
5 Tweety-2c — Logique du premier ordre en C#/.NET (port… BETA Oui
6 Tweety-02d — Labo FOL : Tweety répond, Lean certifie BETA Non
7 Tweety-02e — Calculs de preuve : Hilbert, séquents,… BETA Non
8 Tweety-02f — Le zoo modal : huit systèmes, une carte… BETA Non
9 Tweety-6 — Argumentation structuree (twin C# / .NET… BETA Oui
10 Argumentation Structuree BETA Oui
11 Tweety-7a : Frameworks d’Argumentation Etendus (C#) BETA Oui
12 Frameworks d’Argumentation Étendus BETA Oui
13 Tweety-7b - Ranking Probabilistic Conditional Logic en… BETA Oui
14 Sémantiques de Classement et Argumentation Probabiliste BETA Oui
15 Dialogues Multi-Agents Argumentatifs (twin C#) BETA Oui
16 Dialogues Multi-Agents Argumentatifs BETA Oui
17 Préférences et Théorie du Vote en C# / .NET (port natif… ALPHA Oui
18 Préférences et Théorie du Vote ALPHA Oui
19 Tweety-10 — Markov Logic Networks (MLN) en .NET (C# /… BETA Oui
20 Tweety-10 — Markov Logic Networks (MLN) BETA Oui
21 Tweety-11 — Inférence causale & do-calculus (twin C#… BETA Oui
22 Tweety-11 — Raisonnement Causal : du do-calculus aux… BETA Oui
23 Argumentation Abstraite : Grounded Extension - Pont… BETA Oui
24 Tweety-3 — Description Logics en C#/.NET (port natif… BETA Oui
25 Logiques Avancees - DL, Modale, QBF, Conditional BETA Oui
26 Tweety-3 — Conditional Logics en C#/.NET (port natif… BETA Oui
27 Tweety-3 — Argumentation abstraite de Dung en C#/.NET… BETA Oui
28 Tweety-3 Modal Logic en C#/.NET (port natif IKVM) BETA Oui
29 Tweety-3 - Quantified Boolean Formulas en C#/.NET (port… BETA Oui
30 Tweety-3b — Labo Modal : Kripke répond, Lean certifie BETA Non
31 Tweety-4 — Argumentation structurée ASPIC+ en C#/.NET… BETA Oui
32 Tweety C# / IKVM - Revision de Croyances (Port .NET du… BETA Oui
33 Révision de Croyances et Incohérence BETA Oui
34 Tweety-5 : Argumentation Abstraite de Dung (C# / .NET)… BETA Oui
35 Argumentation Abstraite (Dung) BETA Oui
36 Tweety-5b — Théorie de l’argumentation de Dung… BETA Non
37 Tweety-5d — Synthèse certifiée d’extensions stables :… BETA Non
38 Tweety-5e — Laboratoire propositionnel : validité,… BETA Non
39 Tweety .NET - Probe Phase 1 axe 2 : initialisation du… BETA Oui
Retour au sommet