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 d'Intelligence Artificielle. ⟨hal-04595440⟩
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⟩
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⟩
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⟩
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. An incremental diagnosis algorithm of human erroneous decision making. 2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France. ⟨hal-04188221⟩
Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. 9èmes Journées Nationales sur la Résolution Pratique des problèmes NP-complets (JNPC 2003), Jun 2003, Amiens, France. pp.23--37. ⟨hal-04006704⟩
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about cyclic space: axiomatic and computational aspects. German Conference on Spatial Cognition 2002, May 2002, Tutzing, Germany. pp.348--371, ⟨10.1007/3-540-45004-1_20⟩. ⟨hal-04003614⟩
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. On the consistency problem for the INDU calculus. 10th International Symposium on Temporal Representation and Reasoning - 4th International Conference on Temporal Logic (TIME-ICTL 2003), Jul 2003, Cairns, Queensland, Australia. pp.203--211. ⟨hal-04003613⟩
Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. JEDAI - Journal électronique d'intelligence artificielle, 2004, 2, pp.1--14. ⟨hal-04003598⟩
Hassan Ibrahim, Philippe Dague, Laurent Simon. SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems. 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy. ⟨hal-01483428⟩