Tuesday 19 September
8:30 Registration
9:00 Neuro-Symbolic AI Workshop Join on Zoom
9:00 - 10:00 Steven Schockeart (Cardiff University): Aligning embeddings with symbolic knowledge: towards a tight integration of learning and reasoning
10:00 - 10:30 coffee break
10:30 - 11:30 Giuseppe Marra (KU Leuven): Interpretable Neural-Symbolic Concept Reasoning
11:30 - 12:30 Pasquale Minervini (University of Edinburgh): Integrating Combinatorial Solvers and Neural Models
12:30 Lunch
14:00 Explanations meet uncertainties workshop: Join on Zoom
14:00 - 14:40 Mahdi Hadj Ali, Titre: Interpreting Predictive Models through Causality: A Query-Driven Methodology
14:40 - 15:20 Zacharie Waysenson, Titre: Propagation of uncertainties in deep neural networks
15:20 - 15:40 Coffee break
15:40 - 16:20 Augustin-martin, TItre: CRAFT: Concept Recursive Activation FacTorization for Explainability
16:20 - 17:00 Henoik Willot, Titre: Prime implicants as a versatile tool to explain robust classification
17:00 - 17:40 Mélanie Ducoffe, Titre: Don’t Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis
17:40 -18:00 Henri Prade, Title Uncertainty and explanations - Possibilistic and analogical settings pdf
Wednesday 20 September
8:00 Registration
9:00 - 9:15 Opening
9:15 - 10:15 Invited talk: Rafael Peñaloza: Mixing Time and Uncertainty. A Tale of Superpositions
10:15 - 10:35 Coffee break
10:35 - 12:15 Session 1
- Christophe Marsala, Davide Petturiti and Barbara Vantaggi. Adding semantics to fuzzy similarity measures through the d-Choquet integral
- Samira Pourkhajouei, Federico Toffano, Paolo Viappiani and Nic Wilson. An Efficient Non-Bayesian Approach for Interactive Preference Elicitation Under Noisy Preference Models
- Helene Fargier and Guillaume Romain. Decision with Belief Functions and Generalized Independence: Two Impossibility Theorems
- Haifei Zhang, Benjamin Quost and Marie-Hélène Masson. Cautious Decision-Making for Tree Ensembles
- Jorge D. Laborda, Pablo Torrijos, José M. Puerta and José A. Gámez. A Ring-Based Distributed Algorithm for Learning High-Dimensional Bayesian Networks
12:25 - 13:45 Lunch
13:45 - 15:30 special session on AI and heterogeneous data
- Olivier Strauss and Agnès Rico. Handling missing values in a MacSum aggregation learning
- Ghaith Khlifi, Ilyes Jenhani, Montassar Ben Messaoud and Mohamed Wiem Mkaouer. Multi-label Classification of Mobile Application User Reviews using Neural Language Models
- Jonathan Bazire, Allan Crista, Mike Germain, Juan Joseph-Angelique and Madalina Croitoru. GAINS: comparison of Genetic AlgorIthms and Neural algorithmS for video game playing
- Salem Benferhat, Didier Dubois and Henri Prade. Provenance calculus and possibilistic logic: a parallel and a discussion
- Juan Carlos Díaz, Jesús Medina and José Ra. Portillo. Hypergragraphs in Logic programming
15:30 - 16:05 Special session invited talk: Carole Delenne: Imperfect data and hydraulic modelling of urban drainage networks
16:05 - 16:20 Coffee break
16:20 - 17:00 Session 3
- Leila Amgoud and Vivien Beuselinck. An Equivalence Class of Gradual Semantics
- Jérôme Delobelle, Jean-Guy Mailly and Julien Rossit. Revisiting Approximate Reasoning based on Grounded Semantics
17:30 - 19:00 Visit of the squares of Arras and the belfry
19:00 - 21:00 Opening Reception at Town Hall: Tasting of local beers and cheeses
Thursday 21 September
9:00 - 10:00 Invited talk: Eduardo Fermé: On belief update according to Katsuno & Mendelzon: Novel insights.
10:00 - 10:30 Coffee break
10:30 - 12:30 Session 4
- Joseph Mietkiewicz and Anders Madsen. Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing
- Anders Madsen and Cory Butz. A Comparison of Different Marginalization Operations in Simple Propagation
- Harsh Shrivastava and Urszula Chajewska. Neural Graphical Models
- Fares Grina, Zied Elouedi and Eric Lefevre. Evidential Generative Adversarial Networks for handling imbalanced learning
- Vu-Linh Nguyen, Haifei Zhang and Sébastien Destercke. Learning sets of Probabilities through ensemble methods
- Iván Pérez and Jirka Vomlel. On identifiability of BN2A networks
12:25 - 14:00 Lunch
14:00 - 15:45 Session 5
- Jean-Guy Mailly. Extension-based Semantics for Incomplete Argumentation Frameworks: Grounded Semantics and Principles
- Loïc Adam and Sébastien Destercke. Handling inconsistency in (numerical) preferences using possibility theory
- Tom Davot, Sébastien Destercke and David Savourey. On the enumeration of non-dominated spanning trees of a graph with imprecise weights
- Kevin McAreavey and Weiru Liu. Modifications of the Miller definition of contrastive (counterfactual) explanations
- Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner and Christoph Beierle. On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions
15:45 - 16:05 Coffee break
16:05 - 17:05 Session 6
- Shota Motoura, Ayako Hoshino, Itaru Hosomi and Kunihiko Sadamasa. A Logical Framework for User Feedback Dialogues on Hypotheses in Weighted Abduction
- Florence Dupin de Saint-Cyr and Francis Faux. Integrating evolutionary prejudices in belief functions theory
- Annet Onnes, Mehdi Dastani and Silja Renooij. Normative Monitoring Using Bayesian Networks: Defining a Threshold for Conflict Detection
17:15 - 19:30 Visit the Wellington Tunnels
19:30 - 23:00 Gala Dinner at the Arras golf course
Friday 22 September
9:15 - 10:15 Invited talk: Jesse Davis: Reasoning about Tree Ensembles
10:15 - 10:45 Coffee break
10:45 - 12:25 Session 7
- Martin von Berg, Arthur Sanin and Christoph Beierle. Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem
- Saul Gebhardt and Dragan Doder. Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks
- Walid Fathallah, Nahla Ben Amor and Philippe Leray. An optimized Quantum circuit representation of Bayesian networks
- Florian Andreas Marwitz, Ralf Möller and Marcel Gehrke. PETS: Predicting Efficiently using Temporal Symmetries in Temporal PGMs
- Tathagata Basu, Matthias Troffaes and Jochen Einbeck. A Robust Bayesian Approach for Causal Inference Problems
12:25 - 14:00 Lunch
14:00 - 15:20 Session 8
- Jonas Philipp Haldimann and Christoph Beierle. Approximations of System W between c-Inference, System Z, and Lexicographic Inference
- Henri Prade and Gilles Richard. First steps towards a logic of ordered pairs
- Tommaso Flaminio and Lluis Godo. Conditional objects as Possibilistic Variables
- Malte Luttermann, Ralf Möller and Marcel Gehrke. Lifting Factor Graphs with Some Unknown Factors
15:20 - 15:30 Closing