Programme CNIA

Lundi 27 juin

10h15-10h30 Accueil CNIA

10h30-12h00 CNIA (1)

Sara Maqrot, Stephanie Roussel, Gauthier Picard and Cédric Pralet. Techniques d'allocation de lots avec des préférences conflictuelles représentées par des graphes acycliques dirigés pondérés
Guillaume Prévost, Stéphane Cardon, Tristan Cazenave, Christophe Guettier and Eric Jacopin. La planification SAS sous forme de tri topologique
Adrien Metge, Nicolas Maille and Benoît Le Blanc. Décision assistée par un système intelligent : de l’utilisation de l’IA à l’intention de l’opérateur dans la replanification

12h00-13h30 Déjeuner

13h30-14h30 FR@International (1)

Sophie Pinchinat, Sasha Rubin, François Schwarzentruber. Formula Synthesis in Propositional Dynamic Logic with Shuffle
Alexis de Colnet, Stefan Mengel. Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation

14h30-14h45 Changements de salles

14h45-16h15 CNIA (2)

Alexandre Bettinger, Armelle Brun and Anne Boyer. Influence indépendante de l'exploration et de l'exploitation : le cas des systèmes de recommandation par métaheuristiques
Éric Pardoux and Louis Devillaine. Vers une éthique processuelle de l’IA
Anaëlle Martin. L’Intelligence artificielle peut-elle être saisie par le droit de l’Union européenne ?

16h15-16h45 Pause

16h45-17h45 Exposé invité "50 ans de Prolog" par Pierre Deransart

10h30-12h00 CNIA (3)

Valentin Fouillard, Nicolas Sabouret, Safouan Taha and Fredéric Boulanger. Le problème du décor revisité : un modèle logique pour le diagnostic d’erreurs humaines
Gregory Martin, Matthieu Donain, Elisa Fromont, Tias Guns, Laurence Roze and Alexandre Termier. Prediction-Based Fleet Relocation for Free Floating Car Sharing Services
Raphael Leclercq and Gauthier Magnaval. Intelligence Artificielle & Génie Civil : enjeux et cas d’usages

12h00-13h30 Déjeuner

13h30-14h30 Exposé invité : Leila Amgoud

14h30-14h45 Changements de salles

14h45-16h15 FR@International (2)

Emmanuelle Salin, Badreddine Farah, Stéphane Ayache, Benoit Favre. Are Vision-Language Transformers Learning Multimodal Representations? A Probing Perspective
Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet. What Does My GNN Really Capture? On Exploring Internal GNN Representations
Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier. Online Certification of Preference-Based Fairness for Personalized Recommender Systems

16h15-16h45 Pause

16h45-18h15 FR@International (3)

Hao Hu, Mohamed Siala, Marie-José Huguet. Optimizing Binary Decision Diagrams with MaxSAT for Classification
Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez. Best Heuristic Identification for Constraint Satisfaction
Théo Delemazure, Jérôme Lang, Jean-Francois Laslier, M. Remzi Sanver. Approval with Runoff

10h30-12h00 FR@International (4)

Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia. On the Impossibility of Non-Trivial Accuracy in Presence of Fairness Constraints
Leila Amgoud, Jonathan Ben-Naim. Axiomatic Foundations of Explainability
Gilles Audemard, Steve Bellart, Lounès Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis. Trading Complexity for Sparsity in Random Forest Explanations

12h00-13h30 Déjeuner

13h30-14h30 CNIA (4)

Hadi Abdine, Christos Xypolopoulos, Moussa Kamal Eddine and Michalis Vazirgiannis. Evaluation of Word Embeddings from Large-Scale French Web Content
Olivier Gracianne, Anaïs Lefeuvre-Halftermeyer and Thi-Bich-Hanh Dao. Des clusters de tweets aux tags de descriptions : présentation d'un évènement par la caractérisation de ces manifestations

14h30-14h45 Changements de salles

14h45-16h15 CNIA (4bis)

Yanzhu Guo, Christos Xypolopoulos and Michalis Vazirgiannis. How COVID-19 is Changing Our Language: Detecting Semantic Shift in Twitter Word Embeddings
Taline Zgheib, Hélène Borges, Vera Feldman, Thomas Guntz, Cédric Di Loreto, Olivier Desmaison and Franck Corduant. Détection d’objets en temps réel : Entraînement de réseaux de neurones convolutifs sur images réelles et synthétiques
Younes Zegaoui and Mustapha Derras. Détection d’objets urbains dans des nuages de points LiDAR

16h15-16h45 Pause

16h45-17h45 CNIA et FR@International (5)

Houssem Farhat, Lionel Daniel, Michael Benguigui and Adrien Girard. Modèle et jeu de données pour la détection multi-spectrale de feux de forêt à bord de satellites
Andreas Herzig, Emiliano Lorini, Elise Perrotin. A Computationally Grounded Logic of ‘Seeing-to-it-that’