Schedule
Time allocated for regular talks: 15 minutes talk + 5 minutes discussion
Monday 1 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 1 | Chair: Liuwen Yu |
| Nina Gierasimczuk | Learning about causal variables: an awareness account | |
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 1 | Chair: Benoît Alcaraz |
| Andrew Lewis-Smith | Hybrid Tense Logic of the Real Line | |
| Julian Alfredo Mendez and Timotheus Kampik | Specification, Application, and Operationalization of a Metamodel of Fairness | |
| Liuwen Yu, Leendert van der Torre, Réka Markovich, Beishui Liao and Chenyang Cai | DiSCo–RAD: Reasoning Alignment for Judicial Discretion | |
| 11h30-12h30 | ICR20 session 1 | Chair: Beishui Liao |
| Leon van der Torre | Artificial General Intelligence and Law | |
| 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 | Chair: Kenneth Skiba |
| Syrine Haddad | Towards a Human-Centered Approach to Supervision of Explainable Autonomous Robot Tractors | |
| Piotr Kluczyński | Augmenting an LLM-Based Tutor Agent with a Large Action Model for Multimodal Interaction | |
| Kerstin Sahler, Tobias Hecking, Thorsten Sommer and Oliver Bensch | Integrating Decentralised AI Services in a Collaboration Ecosystem | |
| Arthur Picard (online) | Leveraging LLMs Reinforcement Learning for XAI | |
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | LASTJD Student session | Chair: Davide Liga |
| Qingjing Chen | Fairness Alignment of Benchmarks for Large Language Models | |
| Beatrice Ferrigno | Rights, risks and reasoning: a formal framework for AI impact assessment | |
| Generoso Longo | European Legislative LLM Informed by RAG on Knowledge Graph | |
| Rachele Mignone | Multilingualism in the EU: the role of LLMs in assessing legal harmonization | |
| Antonino Iaria | Blockchain-based Systems for Supporting Public Services | |
Tuesday 2 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 2 | Chair: Emil Weydert |
| Alexandru Baltag | Expecting to be Surprised | |
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 2 | Chair: Luca Pasetto |
| Andrea De Domenico, Ali Farjami, Krishna Balajirao Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis and Xiaolong Wang | Normative implications | |
| Andrew Lewis–Smith and Zhiguang Zhao | Kripke Semantics for MTL | |
| Krzysztof Pancerz, Piotr Kulicki, Michał Kalisz, Andrzej Burda, Maciej Stanisławski and Jaromir Sarzyński | Readable Twins of Unreadable Models | |
| 11h30-12h30 | ICR20 session 2 | Chair: Huimin Dong |
| Richard Booth | Interval Orders, Biorders, and Credibility-limited Belief Revision | |
| Emil Weydert | Exploring the Abyss - Lessons from the Exceptional Inheritance Paradox | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | ICR20 session 3 | Chair: Beishui Liao |
| Marija Slavkovik | Disobedience | |
| Pere Pardo | The Jiminy advisor: stakeholders, avatars and deontic arguments within AI agents | |
| Aleks Knoks | How not to argue against AI thought | |
| 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 | Chair: Pere Pardo |
| Guillaume Aucher | On the correspondence and proof theory of atomic logics | |
| Joris Hulstijn | Epistemic Injustice Revisited | |
| Thomas Løye Skafte | Retaining Truth Tracking Properties through Merging on Plausibility Spaces | |
| Jie Chen | Regulatory Sandboxes as Epistemic Devices: A Logical Perspective on Institutional Experimentation | |
| 19h00- | Conference Dinner | At the Chiche in Limpertsberg |
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 | Chair: Apostolos Tzimoulis |
| Muyun Shao, Siyi Liu and Beishui Liao | A Causal Approach to Contrastive Explanation in Abstract Argumentation | |
| Aditya Kar, Emiliano Lorini and Timothee Masquelier | Binary Spiking Neural Networks as Causal Models | |
| Shuwen Wu | The Identity Rule Reconsidered: from Logic Programming to Formal Theories of Truth | |
| 11h30-12h30 | ICR20 session 5 | Chair: Kenneth Skiba |
| Beishui Liao | The interdisciplinary research on logic and AI | |
| Gabriella Pigozzi | What role for Argumentation in Decision Aiding? | |
| Martin Caminada | Strong Admissibility and Infinite Argumentation Frameworks | |
| 12h30-14h00 | Lunch break | |
| 14h00-15h20 | CALM session 2 | |
| Francisco J. Rodríguez Lera, Irene González Fernández, Miguel Á. González-Santamarta, Alejandro González-Cantón, Laura Fernandez Becerra, David Sobrín Hidalgo, and Ángel Manuel Guerrero-Higueras | ROXIE: Defining a Robotic eXplanation and Interpretability Engine | |
| Fatima-Zahrae El-Qoraychy (online) | A Hybrid Metaheuristic-Guided Multi-Agent Reinforcement Learning Framework for Cooperative Unsignalized Intersection Coordination | |
| Henry Salgado | Does the Model Say What the Data Says? A Simple Causal Framework for Model–Data Alignment | |
| Pinaki Chakraborty | Local Causal Reasoning in Multiagent Systems | |
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR20 session 6 | |
| Francisco Lera | Inclusión and explainability challenges in Human–Robot Interaction | |
| Vincent de Wit | Sub-Symbolic versus Symbolic and The Principle-Agent Problem | |
| Felix Stutz | On Individual and Collective Behaviour in Multiparty Protocols | |
| Wojtek Jamroga | Computationally Feasible Strategies | |
| 17h30-19h30 | Luxembourg City Tour | |
Thursday 4 December
| Time | ||
|---|---|---|
| 09h00-10h00 | Keynote 4 | |
| John Horty | Open-textured predicates | |
| 10h00-10h30 | Coffee break | |
| 10h30-11h30 | LNGAI session 4 | Chair: Luca Redondi |
| Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Chen Chen and Leendert van der Torre | A Principle–Based Robustness Analysis of Labeling–Based Bipolar Argumentation Semantics | |
| Stipe Pandžić | Toward reasoning and learning in first–order justification logic | |
| Yuxin Sun and Yuping Shen | Loop Formulas for Two–valued Logic Programs | |
| 11h30-12h30 | ICR20 session 7 | Chair: Pere Pardo |
| Tjitze Rienstra | Explainable Interactive Belief Change for classification Models | |
| 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 | Chair: Davide Liga |
| 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 | AI for Digital Fairness: Turning Research into Real-World Impact. How academic insights can shape enforcement strategies against illegal digital practices. | |
| Huimin Dong | The structures of precedents matter | |
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR session 9 | Chair: Huimin Dong |
| Xavier Parent | On a problem of Horty | |
| Ali Farjami/Luca Pasetto | Constrained I/O Logic in HOL — First Steps | |
| 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 | Chair: Ali Farjami |
| Sheng Wei and Beishui Liao | A²C: An Adaptive Argumentation–based Classifier for Robust Ensemble Learning | |
| Yini Huang and Beishui Liao | Classifying Impact of Arguments in the Jiminy Advisor Framework | |
| Lifei Wang, Zhe Yu and Zhe Lin | The Algebraic Semantics and Proof Theory of Intuitionistic Epistemic Logic | |
| 11h30-12h30 | ICR20 session 10 | Chair: Kenneth Skiba |
| 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 | Chair: Matteo Magnini |
| Ankit Arora | ||
| Davide Liga | Bridging Symbolic and Subsymbolic Reasoning with LLMs: Towards Neurosymbolic Normative Reasoning | |
| Liuwen Yu | ||
| Francesco Ferrero | ||
| 15h20-15h50 | Coffee break | |
| 15h50-17h10 | ICR20 session 12 | Chair: Luca Pasetto |
| Jan Broersen | ||
| Réka Markovich | Judicial Discretion, Reasoning and AI | |
| Igor Tchappi Haman | ||
| Xu Li | A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference | |