Schedule (Tentative)
Time allocated for regular talks: 15 minutes talk + 5 minutes discussion
Monday 1 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 1 | |
| Nina Gierasimczuk | ||
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 1 | |
| Andrew Lewis-Smith | ||
| Julian Alfredo Mendez | ||
| Chenyang Cai | ||
| 11h30-12h30 | ICR20 session 1 | |
| Leon van der Torre | ||
| Antonis Bikakis | The role of domains in abstract argumentation | |
| Dov Gabbay (online) | Active inference and formal logic reasoning - Connecting two research communnities | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | CALM session 1 | |
| Syrine HADDAD | ||
| Piotr Kluczyński | ||
| Kerstin Sahler | ||
| Syrine HADDAD | ||
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | LASTJD Student session | |
Tuesday 2 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 2 | |
| Alexandru Baltag | ||
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 2 | |
| Xiaolong Wang | ||
| Andrew Lewis-Smith | ||
| Piotr Kulicki | ||
| 11h30-12h30 | ICR20 session 2 | |
| Richard Booth | Interval Orders, Biorders, and Credibility-limited Belief Revision | |
| Thomas Løye Skafte | Retaining Truth Tracking Properties through Merging on Plausibility Spaces | |
| Emil Weydert | Exploring the Abyss - Lessons from the Exceptional Inheritance Paradox | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | ICR20 session 3 | |
| Marija Slavkovik | Disobedience | |
| Pere Pardo | The Jiminy advisor: stakeholders, avatars and deontic arguments within AI agents | |
| Aleks Knoks | Machine ethics vs. AI alignment | |
| Livio Robaldo | Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme | |
| 15h20-15h50 | Coffee Break | |
| 15h50-17h10 | ICR20 session 4 | |
| Guillaume Aucher | On the correspondence and proof theory of atomic logics | |
| Joris Hulstijn | Epistemic Injustice Revisited | |
| Christian Franck | ||
| Jie Chen | Regulatory Sandboxes as Epistemic Devices: A Logical Perspective on Institutional Experimentation | |
| 19h00- | Conference Dinner | |
Wednesday 3 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 3 | |
| Mehdi Dastani | Logics for Safe and Efficient Reinforcement Learning | |
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 3 | |
| Muyun Shao | ||
| Aditya Kar | ||
| Shuwen Wu | ||
| 11h30-12h30 | ICR20 session 5 | |
| Beishui Liao | The interdisciplinary research on logic and AI | |
| Gabriella Pigozzi | Argumentation for Sustainable Urban Decision-Making | |
| Martin Caminada | Formal Argumentation | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | CALM session 2 | |
| Francisco J. Rodriguez Lera | ||
| Syrine HADDAD | ||
| Henry Salgado | ||
| Pinaki Chakraborty | ||
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR20 session 6 | |
| Francisco Lera | ||
| Vincent de Wit | ||
| Felix Stutz | ||
| Wojtek Jamroga | Computationally Bounded Strategies | |
| 17h30-19h30 | Luxembourg City Tour | |
Thursday 4 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 4 | |
| John Horty | ||
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 4 | |
| Liuwen Yu | ||
| Stipe Pandžić | ||
| Yuxin Sun | ||
| 11h30-12h30 | ICR20 session 7 | |
| Tjitze Rienstra | ||
| Kenneth Skiba | Transformation of Argument Rankings into Extension Rankings in Abstract Argumentation | |
| Benoît Alcaraz | What If Pinocchio Were a Reinforcement Learning Agent | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | ICR20 session 8 | |
| Egberdien van der Peijl | Tradition versus Disruption Exploring Global Reasoning in LLMs through Human-in-the-Loop Debate | |
| Sviatlana Höhn | Risk Assessment of AI Applications before Deployment | |
| Arianna Rossi | The use of AI within enforcement agencies and the role of research | |
| Huimin Dong | ||
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR session 9 | |
| Xavier Parent | On a problem of Horty | |
| Ali Farjami/Luca Pasetto | On hybrid AI systems or AI agents | |
| Blaž Istenič Urh | Deontic closures | |
| Luca Redondi | Case-based reasoning in ethics as an argumentation-based dialogue game | |
Friday 5 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 5 | |
| Pouyan Ziafati | Ten Years of LuxAI: From a Lab Dream to a Global Classroom | |
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 5 | |
| Sheng Wei | ||
| Yini Huang | ||
| Lifei Wang | ||
| 11h30-12h30 | ICR20 session 10 | |
| Giovanni Casini | Defeasible reasoning in tractable Description Logics: the DL-Lite case | |
| Srdjan Vesic | Does Reinstatement Really Exist in Argumentation? | |
| Tomer Libal | Bridging Academia, Industry, and Society in AI & Law | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | ICR20 session 11 | |
| Ankit Arora | ||
| Davide Liga | ||
| Liuwen Yu | ||
| Francesco Ferrero | ||
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR20 session 12 | |
| Réka Markovich | ||
| Igor Tchappi Haman | ||
| Xu Li | A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference | |
| Richard Albrecht | Using historical maps for remote sensing archaeology | |