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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Parent, X. (2024, January 11). Conditional normative reasoning in HOL [Presentation]. Seminar of Deontic Logic 2024, Bamberg, Germany. ( reposiTUm)

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. ( reposiTUm)

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. ( reposiTUm)

Parent, X. (2023, September 27). Nonstandard betterness and conditional obligation [Presentation]. Mosaic Workshop, Wien, Austria. ( reposiTUm)

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 ( reposiTUm)