| Leon van der Torre (University of Luxembourg) |
|
| Beishui Liao (Zhejiang University) |
The interdisciplinary research on logic and AI |
| Marija Slavkovik (University of Bergen) |
Disobedience |
| Antonis Bikakis (University College London) |
The role of domains in argumentation frameworks |
| Guillaume Aucher (Université de Rennes) |
On the correspondence and proof theory of atomic logics |
| Paolo Turrini (University of Warwick) |
|
| Wojtek Jamroga (Polish Academy of Sciences) |
Model Checking Strategic Ability: Why, What, and Especially: How? |
| Joris Hulstijn (University of Utrecht) |
Epistemic Injustice Revisited |
| Tjitze Rienstra (University of Maastricht) |
|
| Livio Robaldo (Swansea University) |
Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme |
| Richard Booth (University of Cardiff) |
Interval Orders, Biorders, and Credibility-limited Belief Revision |
| Martin Caminada (University of Cardiff) |
Formal Argumentation |
| Gabriella Pigozzi (University Paris Dauphine) |
|
| Giovanni Casini (ISTI CNR Italy) |
Defeasible reasoning in tractable Description Logics: the DL-Lite case |
| Francisco Lera (Universidad de León) |
|
| Srdjan Vesic (CNRS Lens) |
|
| Emil Weydert (University of Luxembourg) |
Exploring the Abyss - Lessons from the Exceptional Inheritance Paradox |
| Réka Markovich (University of Luxembourg) |
|
| Christian Franck (University of Luxembourg) |
|
| Tomer Libal (University of Luxembourg) |
Bridging Academia, Industry, and Society in AI & Law |
| Silvano Colombo Tosatto (CSIRO) |
|
| Igor Tchappi Haman (University of Luxembourg) |
|
| Ali Farjami (University of Luxembourg) |
On hybrid AI systems or AI agents |
| Luca Pasetto (University of Luxembourg) |
|
| Liuwen Yu (University of Luxembourg) |
|
| Huimin Dong (TU Vienna) |
Jurix talk |
| Xavier Parent (Tech. University of Vienna) |
NORM-BASED DEONTIC LOGIC: I/O LOGIC |
| Benoît Alcaraz (University of Luxembourg) |
What If Pinocchio Was a Reinforcement Learning Agent: An End-to-End Pipeline to Normative Reinforcement Learning |
| Richard Albrecht (University of Luxembourg) |
Using historical maps for remote sensing archaeology |
| Thomas Løye Skafte (University of Luxembourg) |
Retaining Truth Tracking Properties through Merging on Plausibility Spaces |
| Jie Chen (University of Luxembourg) |
Regulatory Sandboxes as Epistemic Devices: A Logical Perspective on Institutional Experimentation |
| Llio Humphreys () |
Writing academic text in English |