Schedule
Tuesday, September 23 | |||
The First European Workshop on Argumentation and Uncertainty (ArgU'25) Building 2, Room 1 |
Tutorial: StaRAI: From a Probabilistic Propositional Model to a Highly Compressed Probabilistic Relational Model Building 2, Room 2 |
||
9:15-9:30 | Welcome | 9:00-9:50 | Marcel Gehrke: Introduction |
9:30-10:30 | Keynote Talk Bart Verheij: Hybrid reasoning with evidence: arguments, scenarios, probabilities |
9:50-10:30 | Malte Luttermann: Compressing probabilistic relational models |
10:30-11:00 | <Coffee break> | 10:30-11:00 | <Coffee break> |
11:00-11:30 |
Martin Caminada: Strong Admissibility for Infinite Argumentation Frameworks |
11:00-11:50 |
Malte Luttermann: Compressing probabilistic relational models (cont.) |
11:30-12:00 |
Jordan Thieyre, Caren Al Anaissy, Aurélie Beynier, Sébastien Destercke, Nicolas Maudet and Srdjan Vesic: Uncertainty in Quantitative Bipolar Argumentation Frameworks |
11:50-12:20 |
Malte Luttermann: Application: Lifted Causal Inference |
12:00-12:30 | Dominik Lewin and Kenneth Skiba: On Uncertainty in Collective Attacks in Abstract Argumentation |
12:20-12:30 | Marcel Gehrke: Summary |
12:30-14:00 | <Lunch break> | ||
The First International Workshop on Inconsistency Measurement (IM'25) Building 2, Room 1 |
|||
14:00-15:00 | Keynote Talk Anthony Hunter: Germane Conflicts: Desirable Properties for Localising Inconsistency |
||
15:00-15:15 | <Coffee break> | ||
15:15-15:40 |
John Grant and Manuel A. Martins: Measuring Inconsistency in a Fragment of Hybrid Logic |
||
15:40-16:05 |
Sabine Nagel and Patrick Delfmann: Towards Measuring Minimal Inconsistencies in Declarative Process Models |
||
16:05-16:30 | Isabelle Kuhlmann: A MaxSAT-Based Approach for Computing Inconsistency Degrees in Linear Temporal Logic on Fixed Traces |
||
18:00- | <Reception Villa> | ||
Wednesday, September 24 | |||
8:45-09:00 | <Welcome> | ||
Technical Session 1: (Chair: Matthias Thimm) | |||
09:00-10:00 | Keynote Talk Claudia D'Amato: On the Need for Explanations and Semantics-Aware Machine Learning with Knowledge Graphs |
||
10:00-10:25 | Johan Kwisthout, Silja Renooij: Inverse Marginalisation for Safely Expanding Bayesian Networks |
||
10:25-10:55 | <Coffee break> | ||
Technical Session 2: (Chair: Sebastien Destercke) | |||
10:55-11:20 |
Houda Briwa, Anders Madsen, Maria Chiara Leva: Classifying Control Room Operators’ Performance Using Bayesian Networks |
||
11:20-11:45 |
Anders Madsen, Somesh Bhattacharya, Christian Dausel Jensen, Rasmus Løvenstein Olsen, Hans-Peter Schwefel: Wrong Data Detection in Electricity Grids Using Bayesian Networks |
||
11:45-12:10 |
Annet Onnes, Silja Renooij: Maximum Entropy-based Quantification for Probability Elicitation in Bayesian Networks |
||
12:10-12:35 | Janneke H. Bolt, Arjen Hommersom, Silja Renooij: Involving Uncertainty in Bayesian Network Tuning |
||
12:35-13:50 | <Lunch break> | ||
Technical Session 3: (Chair: Matthias Thimm) | |||
13:50-14:15 |
Salvador Madrigal, Cyprien Gilet, Vu-Linh Nguyen, Sebastien Destercke: Discrete Minimax Probabilistic Classifier Chains for Multi-Label Classification Under Label Imbalance |
||
14:15-14:40 |
Serafín Moral-García, Rafael Cabañas, Antonio Salmeron: Noise-Robust Weighted Logistic Regression Based on Outlier Detection with Expectation Maximization |
||
14:40-15:05 |
Iván Pérez, Jirka Vomlel, Patrícia Martinková: From RBMs to BN2A models: Parameter Transformation for Interpretable Educational Diagnostics |
||
15:05-15:30 | Florian Andreas Marwitz, Ralf Möller, Magnus Bender, Marcel Gehrke: Denoising the Future: Top-p Distributions for Moving Through Time |
||
15:30-16:00 | <Coffee break> | ||
Technical Session 4: (Chair: Lluis Godo) | |||
16:00-16:25 |
David Nieto-Barba, Enrique Miranda, Ignacio Montes: Distortions of lower probabilities as a tool for avoiding conflict |
||
16:25-16:50 |
Henri Prade, Gilles Richard: Analogical proportions between probabilities |
||
16:50-17:15 | Chenrui Zhu, Vu-Linh Nguyen, Marie-Hélène Masson, Sebastien Destercke: Robust Explanations: The Case of Prime Implicants |
||
18:00- | <Reception Villa> | ||
Thursday, September 25 | |||
Technical Session 5: (Chair: Kai Sauerwald) | |||
09:00-10:00 |
Keynote Talk Vanina Martinez: Making Sense of Messy Graphs: Addressing Inconsistency and Uncertainty in Data-Graphs |
||
10:00-10:25 | Anthony Hunter (Best Paper Award): Using Sentence Embeddings to Identify Conflicts in Propositional Logic |
||
10:25-10:55 | <Coffee break> | ||
Technical Session 6: (Chair: Martin Caminada) | |||
10:55-11:20 |
Nazlı Nur Karabulut, Tanya Braun: Counting Agents in Partially Observable Stochastic Games |
||
11:20-11:45 |
Pratik Karmakar, Antoine Gauquier, Pierre Senellart: Expected Shapley Value is Shapley Value for Expected Utility Game |
||
11:45-12:10 |
Marco Sangalli, Thomas Krak, Erik Quaeghebeur: Upper Expected Meeting Times for Interdependent Stochastic Agents |
||
12:10-12:35 | Lea Bauer, Jonas Karge: Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling |
||
12:35-13:50 | <Lunch break> | ||
Technical Session 7: (Chair: Isabelle Kuhlmann) | |||
13:50-14:15 |
Franz Baader, Renata Wassermann: Gärdenfors's Supplementary Postulates for Partial Product Contractions |
||
14:15-14:40 |
Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle: Explaining Changes in Total Preorders and Ranking Functions |
||
14:40-15:05 |
Jonas Philipp Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle: Implementing Lexicographic Inference Using Partial MaxSAT |
||
15:05-15:30 | Konstantinos Georgatos: Conditional Logics of Nondeterministic Change |
||
15:30-16:00 | <Coffee break> | ||
Technical Session 8: (Chair: Vanina Martinez) | |||
16:00-16:25 |
Lydia Castronovo, Tommaso Flaminio, Lluis Godo, Giuseppe Sanfilippo: Towards an algebraic and probabilistic setting for iterated Boolean conditionals |
||
16:25-16:50 |
Tommaso Flaminio, Lluis Godo, Giuliano Rosella: On measuring the possibility of selection-function based conditionals, general updates, and qualitative capacities. |
||
16:50-17:15 | Armand Gaudillier, Khaled Belahcène, Wassila Ouerdane, Sebastien Destercke: Possibilistic logic and inference for linear systems |
||
19:00- | Conference Dinner (buses leave at 18:30) | ||
Friday, September 26 | |||
Technical Session 9: (Chair: Gabriele Kern-Isberner) | |||
09:00-10:00 |
Keynote Talk Tommie Meyer: Defeasible Reasoning - the Status Quo |
||
10:00-10:25 | Toshiko Wakaki: Assumption-Based Argumentation for General Extended Disjunctive Logic Programming with Negation as Failure in the Head |
||
10:25-10:55 | <Coffee break> | ||
Technical Session 10: (Chair: Anthony Hunter) | |||
10:55-11:20 |
Shawn Bowers, Martin Caminada, Bertram Ludäscher: Winning by Numbers: Connecting Strong Admissibility to Optimal Play in Argumentation |
||
11:20-11:45 |
Hiba Abderrazik, Dragan Doder: First steps towards forgetting in ASPIC+ |
||
11:45-12:10 |
Martin Caminada: Strong Admissibility and Infinite Argumentation Frameworks |
||
12:10-12:35 | Anshu Xiong, Songmao Zhang: Recognizing the Impact among Relevant Elements for Reaching Stability in Incomplete Argumentation Frameworks |
||
12:35-13:50 | <Lunch break> | ||
Technical Session 11: (Chair: Kai Sauerwald) | |||
13:50-14:15 |
Carl Corea, Timotheus Kampik, Nico Potyka: Privacy-Preserving Inconsistency Measurement |
||
14:15-14:40 |
Tomoaki Kawano: Dynamic Logic for Quantum Probability |
||
14:40-15:05 |
Polina Gordienko, Christoph Jansen, Thomas Augustin, Martin Rechenauer: Consensus in Motion: A Case of Dynamic Rationality of Sequential Learning in Probability Aggregation |
||
15:05-15:30 |
Cory Butz, Camilla Lewis, Alejandro Santoscoy-Rivero, Anders Madsen: Arithmetic Circuit Compilation using Symbolic Probabilistic Inference and Indicator-Determined Buckets |
||
15:30-15:55 | Andrew Lewis-Smith, Zhiguang Zhao: A Kripke Semantics for Monadic BL Chains |
||
15:55-16:10 | <Closing> | ||
16:10-16:40 | <Farewell coffee break> |
Invited speakers
![]()
|
|||
![]()
|
|||
![]()
|
Proceedings
You can find the proceedings here.
In the following, you will find a list of accepted papers:
- Hiba Abderrazik, Dragan Doder:
First steps towards forgetting in ASPIC+ - Franz Baader, Renata Wassermann:
Gärdenfors's Supplementary Postulates for Partial Product Contractions - Lea Bauer, Jonas Karge:
Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling - Janneke H. Bolt, Arjen Hommersom, Silja Renooij:
Involving Uncertainty in Bayesian Network Tuning - Shawn Bowers, Martin Caminada, Bertram Ludäscher:
Winning by Numbers: Connecting Strong Admissibility to Optimal Play in Argumentation - Houda Briwa, Anders Madsen, Maria Chiara Leva:
Classifying Control Room Operators’ Performance Using Bayesian Networks - Cory Butz, Camilla Lewis, Alejandro Santoscoy-Rivero, Anders Madsen:
Arithmetic Circuit Compilation using Symbolic Probabilistic Inference and Indicator-Determined Buckets - Martin Caminada:
Strong Admissibility and Infinite Argumentation Frameworks - Lydia Castronovo, Tommaso Flaminio, Lluis Godo, Giuseppe Sanfilippo:
Towards an algebraic and probabilistic setting for iterated Boolean conditionals - Carl Corea, Timotheus Kampik, Nico Potyka:
Privacy-Preserving Inconsistency Measurement - Tommaso Flaminio, Lluis Godo, Giuliano Rosella:
On measuring the possibility of selection-function based conditionals, general updates, and qualitative capacities. - Armand Gaudillier, Khaled Belahcène, Wassila Ouerdane, Sebastien Destercke:
Possibilistic logic and inference for linear systems - Konstantinos Georgatos:
Conditional Logics of Nondeterministic Change - Polina Gordienko, Christoph Jansen, Thomas Augustin, Martin Rechenauer:
Consensus in Motion: A Case of Dynamic Rationality of Sequential Learning in Probability Aggregation - Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle:
Explaining Changes in Total Preorders and Ranking Functions - Jonas Philipp Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle:
Implementing Lexicographic Inference Using Partial MaxSAT - Anthony Hunter:
Using Sentence Embeddings to Identify Conflicts in Propositional Logic - Nazlı Nur Karabulut, Tanya Braun:
Counting Agents in Partially Observable Stochastic Games - Pratik Karmakar, Antoine Gauquier, Pierre Senellart:
Expected Shapley Value is Shapley Value for Expected Utility Game - Tomoaki Kawano:
Dynamic Logic for Quantum Probability - Johan Kwisthout, Silja Renooij:
Inverse Marginalisation for Safely Expanding Bayesian Networks - Andrew Lewis-Smith, Zhiguang Zhao:
A Kripke Semantics for Monadic BL Chains - Salvador Madrigal, Cyprien Gilet, Vu-Linh Nguyen, Sebastien Destercke:
Discrete Minimax Probabilistic Classifier Chains for Multi-Label Classification Under Label Imbalance - Anders Madsen, Somesh Bhattacharya, Christian Dausel Jensen, Rasmus Løvenstein Olsen, Hans-Peter Schwefel:
Wrong Data Detection in Electricity Grids Using Bayesian Networks - Florian Andreas Marwitz, Ralf Möller, Magnus Bender, Marcel Gehrke:
Denoising the Future: Top-p Distributions for Moving Through Time - Serafín Moral-García, Rafael Cabañas, Antonio Salmeron:
Noise-Robust Weighted Logistic Regression Based on Outlier Detection with Expectation Maximization - David Nieto-Barba, Enrique Miranda, Ignacio Montes:
Distortions of lower probabilities as a tool for avoiding conflict - Annet Onnes, Silja Renooij:
Maximum Entropy-based Quantification for Probability Elicitation in Bayesian Networks - Iván Pérez, Jirka Vomlel, Patrícia Martinková:
From RBMs to BN2A models: Parameter Transformation for Interpretable Educational Diagnostics - Henri Prade, Gilles Richard:
Analogical proportions between probabilities - Marco Sangalli, Thomas Krak, Erik Quaeghebeur:
Upper Expected Meeting Times for Interdependent Stochastic Agents - Toshiko Wakaki:
Assumption-Based Argumentation for General Extended Disjunctive Logic Programming with Negation as Failure in the Head - Anshu Xiong, Songmao Zhang:
Recognizing the Impact among Relevant Elements for Reaching Stability in Incomplete Argumentation Frameworks - Chenrui Zhu, Vu-Linh Nguyen, Marie-Hélène Masson, Sebastien Destercke:
Robust Explanations: The Case of Prime Implicants