ICR 20 Years

Provisional List of Attendees

Name Talk
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