Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs

Nadira Boudjani
  • Fonction : Auteur
Abdelkader Gouaich
  • Fonction : Auteur
  • PersonId : 922401
Système Multi-agent, Interaction, Langage, Evolution
Souhila Kaci
  • Fonction : Auteur
  • PersonId : 831141
  • IdRef : 066864240
Système Multi-agent, Interaction, Langage, Evolution

Domaines

Intelligence artificielle [cs.AI]

Souhila Kaci  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02458939

Soumis le : mercredi 29 janvier 2020-11:33:14

Dernière modification le : lundi 26 février 2024-10:47:39

Fichier non déposé

Dates et versions

lirmm-02458939 , version 1 (29-01-2020)

Identifiants

  • HAL Id : lirmm-02458939 , version 1

Citer

Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs. [Research Report] LIRMM (UM, CNRS). 2020. ⟨lirmm-02458939⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SMILE LIRMM LARA MIPS UNIV-MONTPELLIER
71 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More