2025S

• Deontic Logic for Normative Reasoning / 192.130 / VU

• Logical methods for Deontic Explanations
  2024 – 2026 / Austrian Science Fund (FWF)
  Publications: 193684 / 193611 / 193531 / 195506 / 199778 / 199737 / 199833 / 199690 / 200681 / 200686 / 200696 / 202365 / 204587 / 204297 / 205612 / 207868 / 209718 / 207952 / 208013 / 207954 / 210204 / 210202 / 209500
• Axiomatizing conditional normative reasoning
  2021 – 2024 / Austrian Science Fund (FWF)
  Publications: 135863 / 136986 / 189829 / 190615 / 190605 / 191181 / 191117 / 191127 / 191821 / 199163 / 208075 / 208693 / 136177 / 137030 / 136992

• Defeasible conditional ought in 2-D / Parent, X. (2024, October 16). Defeasible conditional ought in 2-D [Conference Presentation]. ENIGMA 2024, Luxemburg, Luxembourg.
  Project: LoDEx (2024–2026)
• Report on "Axiomatizing Conditional Normative Reasoning" / Parent, X. (2024). Report on “Axiomatizing Conditional Normative Reasoning.” Kuenstliche Intelligenz, 38(1–2), 107–111. https://doi.org/10.1007/s13218-024-00832-1
  Project: Lisa Meitner grant (2021–2024)
• Permissive and regulative norms in deontic logic / Olszewski, M. A., Parent, X., & van der Torre, L. (2024). Permissive and regulative norms in deontic logic. Journal of Logic and Computation, 34(4), 728–763. https://doi.org/10.1093/logcom/exad024
  Project: Lisa Meitner grant (2021–2024)
• On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation / Parent, X. (2024). On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation. Journal of Philosophical Logic, 53, 721–760. https://doi.org/10.1007/s10992-024-09748-5
  Project: Lisa Meitner grant (2021–2024)
• Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset) / Parent, X., & Benzmüller, C. (2024). Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset).
  Project: LoDEx (2024–2026)
• Conditional normative reasoning in HOL / Parent, X. (2024, January 11). Conditional normative reasoning in HOL [Presentation]. Seminar of Deontic Logic 2024, Bamberg, Germany.
  Project: Lisa Meitner grant (2021–2024)
• Dyadic obligations: proofs and countermodels via hypersequents / Ciabattoni, A., Olivetti, N., & Parent, X. (2024). Dyadic obligations: proofs and countermodels via hypersequents. arXiv. https://doi.org/10.48550/arXiv.2406.09088
  Project: LoDEx (2024–2026)
• Conditional normative reasoning as a fragment of HOL / Parent, X., & Benzmüller, C. (2024). Conditional normative reasoning as a fragment of HOL. Journal of Applied Non-Classical Logics, 34(4), 561–592. https://doi.org/10.1080/11663081.2024.2386917
  Project: LoDEx (2024–2026)
• Nonstandard betterness and conditional obligation / Parent, X. (2023, September 27). Nonstandard betterness and conditional obligation [Presentation]. Mosaic Workshop, Wien, Austria.
  Project: Lisa Meitner grant (2021–2024)
• Perspectival obligation and extensionality in an alethic-deontic setting / Pichler, D., & Parent, X. (2023). Perspectival obligation and extensionality in an alethic-deontic setting. In J. Maranhão, C. Peterson, C. Straßer, & L. van der Torre (Eds.), Deontic Logic and Normative Systeme - 16. International Conference, DEON 2023 (pp. 57–77). College Publications. http://hdl.handle.net/20.500.12708/189829
  Project: Lisa Meitner grant (2021–2024)
• Analytic Proof Theory for Aqvist's System F / Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, D. R. S., & Rozplokhas, D. (2023). Analytic Proof Theory for Aqvist’s System F. In J. Maranhão, C. Peterson, C. Straßer, & L. van der Torre (Eds.), Deontic Logic and Normative Systems - 16th International Conference, DEON 2023 (pp. 79–98). College Publications. http://hdl.handle.net/20.500.12708/190605
  Projects: Lisa Meitner grant (2021–2024) / Mosaic (2021–2025)
• Mechanizing normative reasoning: proof-theory or semantics? Part 2 / Parent, X. (2023, April 12). Mechanizing normative reasoning: proof-theory or semantics? Part 2 [Presentation]. Dagstuhl Seminar 23151 “Normative reasoning for AI” 2023, Dagstuhl, Germany.
• Mechanising normative reasoning: proof-theory or semantics? Part 1 / Parent, X. (2023, April 11). Mechanising normative reasoning: proof-theory or semantics? Part 1 [Conference Presentation]. Dagstuhl seminar 23151 “Normative reasoning for AI” in April 2023, Dagstuhl, Germany.
  Project: Lisa Meitner grant (2021–2024)
• Logics for normative reasoning and their proof theory / Parent, X. (2023, January 26). Logics for normative reasoning and their proof theory [Presentation]. FTWG3-4-5 (Digital Forensics: Evidence Analysis via Intelligent Systems and Practices) 2023, Wien, Austria.
  Project: Lisa Meitner grant (2021–2024)
• Dyadic Obligations: Proofs and Countermodels via Hypersequents / Ciabattoni, A., Olivetti, N., & Parent, X. (2022). Dyadic Obligations: Proofs and Countermodels via Hypersequents. In PRIMA 2022: Principles and Practice of Multi-Agent Systems.  24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings (pp. 54–71). Springer. https://doi.org/10.1007/978-3-031-21203-1_4
  Project: Lisa Meitner grant (2021–2024)
• New Developments in Dyadic Deontic Logic / Parent, X. (2022, July 16). New Developments in Dyadic Deontic Logic [Presentation]. Automated reasoning with Legal Entities workshop - New Developments in Dyadic Deontic Logic, Luxembourg, Luxembourg. http://hdl.handle.net/20.500.12708/135863
  Project: Lisa Meitner grant (2021–2024)
• Dyadic deontic logic and the (non-)transitivity of betterness / Parent, X. (2022, January 17). Dyadic deontic logic and the (non-)transitivity of betterness [Conference Presentation]. Meeting Eight Ticamore, Wien, Austria. http://hdl.handle.net/20.500.12708/135857
  Project: TICAMORE (2017–2022)
• Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments / Benzmüller, C., Farjami, A., & Parent, X. (2022). Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments. In S. Rahman, M. Armgardt, & H. C. N. Kvernenes (Eds.), New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems (Vol. 23, pp. 353–377). https://doi.org/10.1007/978-3-030-70084-3_14
  Project: Lisa Meitner grant (2021–2024)
• Detachment in Normative Systems: Examples, Inference Patterns, Properties / Parent, X., & van der Torre, L. (2022). Detachment in Normative Systems: Examples, Inference Patterns, Properties. In G. Casini, L. Robaldo, L. van der Torre, & S. Villata (Eds.), Handbook of Legal AI (pp. 123–166). College Publications. http://hdl.handle.net/20.500.12708/190615
  Project: Lisa Meitner grant (2021–2024)
• Automated Verification of Deontic Correspondences in Isabelle/HOL - First results / Parent, X., & Benzmüller, C. (2022). Automated Verification of Deontic Correspondences in Isabelle/HOL - First results. In Proceedings of Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022). ARQNL22 - Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022), Haifa, Israel. http://hdl.handle.net/20.500.12708/136992
  Project: Lisa Meitner grant (2021–2024)
• On Some Weakened Forms of Transitivity in the Logic of Norms / Parent, X. (2022). On Some Weakened Forms of Transitivity in the Logic of Norms. In O. Arieli & G. Casini (Eds.), Non-Monotonic Reasoning 2022 (NMR 2022). Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, Haifa, Israel, August 7-9, 2022 (pp. 147–150). https://doi.org/10.34726/3069
  Download: PDF (1.15 MB)
  Project: Lisa Meitner grant (2021–2024)
• Handbook of Deontic Logic and Normative Systems / Gabbay, D., Horty, J., Parent, X., van der Meyden, R., & van der Torre, L. (Eds.). (2021). Handbook of Deontic Logic and Normative Systems. College Publications, 2021. http://hdl.handle.net/20.500.12708/175980
• Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) / Benzmüller, C., Parent, X., & Ricca, F. (2021). Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). Theory and Practice of Logic Programming, 21(1). https://doi.org/10.1017/s1471068420000113
• Input/Output Logic With a Consistency Check-the Case of Permission / Olszewski, M., & Parent, X. (2021). Input/Output Logic With a Consistency Check-the Case of Permission. In Proceedings of DEON2020/21 (pp. 358–375). http://hdl.handle.net/20.500.12708/58512
• A Kelsenian Deontic Logic / Ciabattoni, A., & Parent, X. (2021). A Kelsenian Deontic Logic. In Frontiers in Artificial Intelligence and Applications. Jurix 2021, 34th International Conference on Legal Knowledge and Information Systems, Vilnius, Litauen, Lithuania. https://doi.org/10.3233/faia210330

• Extensionality for obligations in Åqvist’s system F / Pichler, D. (2022). Extensionality for obligations in Åqvist’s system F [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.95067
  Download: PDF (645 KB)