N°spécial de revue/special issue
Logique en informatique
Affichage des résultats 1 à 12 sur 27 au total
Logique en informatique : 1 à 12 sur 27 au total
-
-
Communication dans un congrès
Luc Pommeret, Thomas Gerald, Christophe Servan, Sahar Ghannay, Patrick Paroubek, et al.. Étude des propositionneurs multilingues : formalisation, évaluation et interprétabilité. CORIA-TALN, ARIA; ATALA, Jun 2026, Nantes, France. ⟨hal-05597666⟩
-
N°spécial de revue/special issue
Fatiha Saïs, Caio Corro, Gaël Lejeune, Dominique Longin. PFIA 2025. Bulletin de l'Association Française pour l'Intelligence Artificielle, 130, 2025, Association Française pour l'Intelligence Artificielle. ⟨hal-05480308⟩
-
Proceedings/Recueil des communications
Nathalie Abadie, Ghislain Atemezing, Grégory Bonnet, Tristan Cazenave, Antoine Cornuéjols, et al.. Conférence Nationale d’Intelligence Artificielle Année 2025. CNIA 2025 - Conférence Nationale d’Intelligence Artificielle, Jun 2025, Dijon, France. Association Française pour l'Intelligence Artificielle, 2025. ⟨hal-05409313⟩
-
N°spécial de revue/special issue
Fatiha Saïs, Emmanuel Adam, Dominique Longin. PFIA 2024. Bulletin de l'Association Française pour l'Intelligence Artificielle, 126, 2024, Association Française pour l’Intelligence Artificielle. ⟨hal-05193157⟩
-
N°spécial de revue/special issue
Pierre Zweigenbaum, Nicolas Maudet, Philippe Morignot, Laurent Vercouter. PFIA 2015. Bulletin de l'Association Française pour l'Intelligence Artificielle, 90, 2015, Association Française pour l’Intelligence Artificielle. ⟨hal-04595440⟩
-
Proceedings/Recueil des communications
Nicolas Sabouret. Actes des 28es Journées Francophones sur les Systèmes Multi-Agents. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2020. ⟨hal-04573992⟩
-
Article dans une revue
Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret. Belief Revision Theory. Archive of Formal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html. ⟨hal-04495393⟩
-
Communication dans un congrès
Dennis Müller, Florian Rabe. Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada. ⟨hal-02150167⟩
-
Communication dans un congrès
Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. Vers une formalisation en Coq de la provenance de données. 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87. ⟨hal-03080066⟩
-
Communication dans un congrès
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. An incremental diagnosis algorithm of human erroneous decision making. HAR 2023 - 2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France. pp.48-63, ⟨10.1007/978-3-031-55245-8_4⟩. ⟨hal-04188221⟩
-
Communication dans un congrès
Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Reasoning about generalized intervals: Horn representabilityand tractability. 7th International Workshop on Temporal Representation and Reasoning (TIME 2000), Jul 2000, Cape Breton, NS, Canada. pp.23--39, ⟨10.1109/TIME.2000.856580⟩. ⟨hal-04006716v2⟩