Xavier Parent
Projektass.(FWF) Docteur
Role
-
PostDoc Researcher
Theory and Logic, E192-05
Projects
-
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 -
Axiomatizing conditional normative reasoning
2021 – 2024 / Austrian Science Fund (FWF)
Publications: 135863 / 136986 / 189829 / 190615 / 190605 / 191181 / 191117 / 191127 / 191821 / 199163 / 136177 / 137030 / 136992
Publications
-
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) -
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) -
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) -
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) - 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) -
Permissive and regulative norms in deontic logic
/
Olszewski, M. A., Parent, X., & van der Torre, L. (2023). Permissive and regulative norms in deontic logic. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exad024
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) -
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) -
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) -
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) -
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) - 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
- 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
- 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
Supervisions
-
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)