Publications

Core publications

• Xu Li, Guillaume Aucher, Dov Gabbay and Réka Markovich, "From Knowledge to Action: Logics of Permitted and Obligatory Announcements," Journal of Artificial Intelligence Research, vol. 82, p. 1629–1672, 2025. doi: https://doi.org/10.1613/jair.1.17180.

• Lara Lawniczak, Luca Pasetto, Christoph Benzmüller, Xu Li, Réka Markovich (2025). Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy. 28th European Conference on Artificial Intelligence (ECAI 2025). https://ecai2025.org/accepted-papers/

• Xu Li and Réka Markovich, "A Dynamic Logic of the Right to Know," Journal of Applied Logics, vol. 12, p. 221–250, February 2025. Available: https://www.collegepublications.co.uk/ifcolog/?00070

• Réka Markovich and Olivier Roy: "The Right to Know: A Logical Analysis" In: The Review of Analytic Philosophy, Japan: MYU, No 1. Vol4, 2024
  https://rap-journal.net/wp-content/uploads/2024/11/RAP0023.pdf

• Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre and Marc van Zee. Rights and Practical Reasoning in Deontic Logic. DEON 2023: 1-19, College Publications, 2023. Link: https://hdl.handle.net/10993/60731

• Huimin Dong, Joris Hulstijn and Réka Markovich. Epistemic Positions: Towards a Formal Theory of Epistemic Injustice. Advances in Modal Logic (AiML) 2024. Prague, the Czech Republic, August 19-23, 2024. 

• Joris Hulstijn, Huimin Dong, Réka Markovich: "Epistemic Injustice and Government Information Systems: Lessons from Two Cases" In: Janssen, M., et al. Electronic Government. EGOV 2024. Lecture Notes in Computer Science, vol 14841. Springer, Cham. 2024, pp. 419–437. https://doi.org/10.1007/978-3-031-70274-7_26 

• Joris Hulstijn, Huimin Dong, and Réka Markovich. Towards a Logical Analysis of Epistemic Injustice. The 4th International Workshop on Logics for New-Generation Artificial Intelligence. LNGAI 2024: 78-91. Collegue Publication. ISBN: 978-1-84890-459-0

• Réka Markovich and Olivier Roy: "Conceptual and Logical Analysis of the Right to Know" In: Proceedings of the 16th International Conference on Deontic Logic and Normative Systems – DEON 2023, Eds: Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre. College Publications, 2023, pp. 337-338. https://www.collegepublications.co.uk/downloads/DEON00004.pdf

• Xu Li, "The logic of epistemic obligation and two-dimensional semantics," in Trends in Logic XXIII, 2023. Available: https://sites.google.com/view/trends-bless-2023/home/abstracts?authuser=0

• Réka Markovich, Truls Pedersen, Marija Slavkovik: "Understanding Privacy by Formalizing It" In: Proceedings of the 17th International Conference on Juris-informatics – JURISIN 2023, Ed: Ken Satoh. 2023, pp. 246-259.

• Xu Li and Réka Markovich, "A Dynamic Logic of the Right to Know," in The 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023. Available: https://www.collegepublications.co.uk/DEON/?00004

• Xu Li, Dov Gabbay and Réka Markovich: "Dynamic Deontic Logic for Permitted Announcements," in Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022. https://doi.org/10.24963/kr.2022/23.

• Réka Markovich and Olivier Roy: “Cause of Action and the Right to Know”
  In: Legal Knowledge and Information Systems - JURIX 2021. Frontiers in Artificial Intelligence and Applications 346, IOS Press, 2021 December, pp. 217-224. https://ebooks.iospress.nl/doi/10.3233/FAIA210340

• Réka Markovich and Olivier Roy: “Formalizing the Right to Know – Epistemic Rights as Normative Positions”
  In: Logics for New-Generation AI Proceedings, Beishui Liao, Jieting Luo, Leendert van der Torre (eds) College Publications 2021, pp. 154-158.
  https://www.collegepublications.co.uk/LNGAI/

• Réka Markovich and Olivier Roy: “A Logical Analysis of Freedom of Thought”
  In: Deontic Logic and Normative Systems DEON 2020/21 proceedings, Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte (eds.) College Publications, 2021, pp. 245-260.https://www.collegepublications.co.uk/DEON/?00003

Further publications

• Liuwen Yu, Davide Liga and Réka Markovich: "Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI: Symbolic Constraints over Large Language Models via Prompt Engineering" ★ Carole Hafner Best Paper Award at ICAIL 2025 In: Proceedings of the 20th International Conference on AI and Law, Juliano Maranhao, ed. ACM, Chicago, 2025, pp. 228-237

• Luca Pasetto, Christoph Benzmüller (2025). Visualizing Kripke Models in LogiKEy: the Case of SDL. Workshop on Logic Programming and Legal Reasoning (LPLR 2025). https://lplr2025.legaltech.wales/

• Xu Li, Liuwen Yu, and Leendert van der Torre. Rational Monotony in Input/Output Logic. In: Deontic Logic and Normative Systems, 17th International Conference (DEON 2025), pp. 255–272, 2025. https://www.collegepublications.co.uk/DEON/?00005

• X. Li, "Deontic Sufficiency in Dyadic Deontic Logic," in The 6th International Conference on Logic and Argumentation (CLAR 2025), 2025. doi: https://doi.org/10.1007/978-981-96-7956-0\_10.

• Liuwen Yu, Leendert Van der Torre, and Réka Markovich: Thirteen challenges in formal and computational argumentation. Handbook of Formal Argumentation, 3:931–1012, 2024. https://www.collegepublications.co.uk/handbooks/?00008

• Maya Olszewski, Xavier Parent, Leendert van der Torre: Permissive and regulative norms in deontic logic. Journal of  Logic and Computation 34(4): 728-763, 2024

• Aleks Knoks: Epistemic conflicts and the form of epistemic rules, Pacific Philosophical Quarterly 105(2), 158–90., 2024

• Aleks Knoks, Muyun Shao, Leendert van der Torre, Vincent de Wit, Liuwen Yu: A principle-based analysis for numerical balancing. B. Liao et al. (eds.) Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI2024), College Publications, 33–46., 2024

• Davide Liga & Luca Pasetto: Testing spatial reasoning of large language models: the case of tic-tac-toe. In Proceedings of AIxPAC 2023, Rome, 6-9 November 2023. https://ceur-ws.org/Vol-3563/paper_14.pdf

• Davide Liga: An Example of Argumentation Scheme from Liability: The Case of Vicarious Liability. In: Bono, M., Takama, Y., Satoh, K., Nguyen, LM., Kurahashi, S. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2023. Lecture Notes in Computer Science(), vol 14644. Springer, Cham. https://doi.org/10.1007/978-3-031-60511-6_9

• Giovanni Sileno, Matteo Pascucci and Réka Markovich: "Allowed or Enabled: That is the Question" In: Proceedings of the 16th International Conference on Deontic Logic and Normative Systems – DEON 2023, Eds: Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre. College Publications, 2023, pp. 297-316. https://www.collegepublications.co.uk/downloads/DEON00004.pdf

• Kees van Berkel, Réka Markovich, Christian Strasser and Leon van der Torre: "Arguing About Choosing a Normative System: Conflict of Laws"
  In: 36th International Conference on Legal Knowledge and Information Systems – JURIX 2023, Eds: Giovanni Sileno, Jerry Spanakis, Gijs van Dijck. IOS Press, 2023, pp. 73-82. https://ebooks.iospress.nl/volumearticle/65569

• L. Yu, C. Al Anaissy, S. Vesic, X. Li and L. van der Torre, "A Principle-Based Analysis of Bipolar Argumentation Semantics," in Logics in Artificial Intelligence (JELIA 2023), Cham, 2023. doi: https://doi.org/10.1007/978-3-031-43619-2\_15.

• Aleks Knoks: Evidence and facts about incoherence: Reply to Schmidt, Asian Journal of Philosophy 2(2), 52, 1–11, 2023

• Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre: Deontic Equilibrium Logic with eXplicit Negation. JELIA 2023: 498-514,  2023

• Aleks Knoks and Leon van der Torre: Reason-based detachment. In: B. Bentzen et al. (eds.) Joint Proceedings of the 3rd International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI, and Law (LNGAI/LAIL2023), College Publications, 49–65., 2023

• Aleks Knoks and David Streit: Beyond reasons and obligations: A dual-role approach to reasons and supererogation. In: J. Maranhão et al. (eds.) Deontic Logic and Normative Systems: 16th International Conference (DEON2023), College Publications, 119–37., 2023

• David Streit, Vincent de Wit and Aleks Knoks: Reasons in weighted argumentation graphs. In: N. Alechina et al. (eds.) 9th International Conference on Logic, Rationality, and Interaction (LORI2023). Springer, 251–9., 2023

• Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre: Defeasible Deontic Logic: Arguing about Permission and Obligation. Journal of Applied Logics 9(4): 1025-1086 (2022)

• Aleks Knoks and Thomas  Raleigh: XAI and philosophical work on explanation: A roadmap. In G. Boella et al. (eds.) Proceedings of the 1st Workshop on Bias, Ethical AI, Explainability, and the Role of Logic and Logic Programming (BEWARE2022), CEUR-WS.org/Vol-3319, 101–6, 2022

• Réka Markovich, Amro Najjar, and Leendert van der Torre: “New-Generation AIs Reasoning about Norms and Values”
  In: Logics for New-Generation AI Proceedings, Beishui Liao, Jieting Luo, Leendert van der Torre (eds.) College Publications 2021, pp. 120-131. https://www.collegepublications.co.uk/LNGAI/