Back
  1. Home
  2. Profile of Xavier PARENT (Unilu)
Profil

PARENT Xavier

Main Referenced Co-authors
VAN DER TORRE, Leon  (19)
BENZMÜLLER, Christoph  (16)
FARJAMI, Ali  (10)
GABBAY, Dov M.  (4)
MEDER, Paul Joseph Yves  (3)
Main Referenced Keywords
Classical higher-order logic (3); input/output logic (3); Normative reasoning (3); abstract normative systems (2); Automated reasoning (2);
Main Referenced Disciplines
Computer science (41)

Publications (total 42)

The most downloaded
380 downloads
Benzmüller, C., Farjami, A., & Parent, X. (2018). A Dyadic Deontic Logic in HOL. In J. Broersen, C. Condoravdi, S. Nair, ... G. Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications. https://hdl.handle.net/10993/36395

The most cited

228 citations (Scopus®)

Parent, X., & van der Torre, L. (2009). Input/output logics. Abstract book of 9th De Morgan Workshop on Deontic Logic. doi:10.1023/A:1004748624537 https://hdl.handle.net/10993/26428

van der Torre, L., & Parent, X. (2022). Detachment in Normative Systems: Examples, Inference Patterns, Properties. IfCoLog Journal of Logics and Their Applications, 9 (4), 1019-1062.
Peer reviewed

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Benzmüller, C., Parent, X., & Ricca, F. (24 June 2019). Report on the Second International Joint Conference on Rules and Reasoning. AI Magazine, 40 (2), 73-74. doi:10.1609/aimag.v40i2.2888
Peer reviewed

Benzmüller, C., Parent, X., & Steen, A. (Eds.). (2019). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. EasyChair.

Benzmüller, C., Farjami, A., & Parent, X. (2019). Åqvist's Dyadic Deontic Logic E in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 733--755.
Peer reviewed

Benzmüller, C., Farjami, A., Meder, P. J. Y., & Parent, X. (2019). I/O Logic in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 715--732.
Peer reviewed

Gabbay, D. M., Parent, X., & van der Torre, L. (2019). A geometrical view of I/O logic.

Parent, X., & van der Torre, L. (2018). Introduction to Deontic Logic and Normative Systems. London, United Kingdom: College Publications.

Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

Benzmüller, C., Farjami, A., & Parent, X. (17 September 2018). Aqvist's Dyadic Deontic Logic E in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

Benzmüller, C., Farjami, A., & Parent, X. (16 June 2018). A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL [Poster presentation]. 6th World Congress and School on Universal Logic, Vichy, France.

Benzmüller, C., Farjami, A., & Parent, X. (2018). A Dyadic Deontic Logic in HOL. In J. Broersen, C. Condoravdi, S. Nair, ... G. Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications.
Peer reviewed

Benzmüller, C., Farjami, A., & Parent, X. (04 May 2018). Implementation of Dyadic Deontic Logic E in Isabelle/HOL [Paper presentation]. 10th edition of PhDs in Logic, Prague, Czechia.

Benzmüller, C., Farjami, A., & Parent, X. (2018). Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.

Benzmüller, C., Ricca, F., Parent, X., & Roman, D. (Eds.). (2018). Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. Springer. doi:10.1007/978-3-319-99906-7

Parent, X., & van der Torre, L. (2018). Input/output logics with a consistency check. In G. Pigozzi, J. Broersen (Ed.), C. Condoravdi (Ed.), ... S. Nair (Ed.), Deontic Logic and Normative Systems (DEON 2018). London, United Kingdom: College Publications.
Peer reviewed

Baniasadi, Z., Parent, X., Max, C., & Creamer, M. (2018). A Model for Regulating of Ethical Preferences in Machine Ethics. Proceedings of International Conference on Human-Computer Interaction, 481-506. doi:10.1007/978-3-319-91238-7_39
Peer reviewed

Benzmüller, C., & Parent, X. (2018). First Experiments with a Flexible Infrastructure for Normative Reasoning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/37466.

Benzmüller, C., & Parent, X. (2018). I/O Logic in HOL --- First Steps. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/37467.

Benzmüller, C., Parent, X., & van der Torre, L. (2018). A Deontic Logic Reasoning Infrastructure. In Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (pp. 60-69). Springer. doi:10.1007/978-3-319-94418-0_6
Peer reviewed

Parent, X., & van der Torre, L. (December 2017). Detachment in Normative Systems: Examples, inference Patterns, Properties. IfCoLog Journal of Logics and Their Applications, 4 (9), 2295-3039.
Peer reviewed

Benzmüller, C., Farjami, A., Parent, X., & van der Torre, L. (06 July 2017). Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL [Paper presentation]. Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), Belgrade, Serbia.

Parent, X., & van der Torre, L. (2017). The pragmatic oddity in a norm-based semantics. In G. Governatori (Ed.), 16th International Conference on Artificial Intelligence & Law (ICAIL-17). New York, United States: ACM.
Peer reviewed

Ambrossio, D. A., Parent, X., & van der Torre, L. (2016). A Representation Theorem for Abstract Cumulative Aggregation. 978-2-87971-152-2/TR-SNT-2016-5.

Ambrossio, D. A., Parent, X., & van der Torre, L. (2016). Cumulative Aggregation. Deontic Logic and Normative Systems.
Peer reviewed

Parent, X. (2015). Completeness of Aqvist's systems E and F. Review of Symbolic Logic, 8 (1), 164-177. doi:10.1017/S1755020314000367
Peer reviewed

Parent, X., & van der Torre, L. (2014). Aggregative Deontic Detachment for Normative Reasoning. In KR&R.
Peer reviewed

Parent, X., van der Torre, L., & Gabbay, D. M. (2014). Intuitionistic basis for IOL. In S. O. Hansson (Ed.), David Makinson's outsanding contribution to non-classical logic. Springer.
Peer reviewed

Parent, X., & Torre, L. W. N. V. D. (2014). Sing and Dance!" - Input/Output Logics without Weakening. In Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.
Peer reviewed

Parent, X., Mariani, F., Grossi, D., & Meheus, J. (Eds.). (2014). Deontic logic and Normative Systems - DEON2014. Springer.

van der Torre, L., & Parent, X. (2014). Sing and Dance! In Sing and Dance!Springer. doi:10.1007/978-3-319-08615-6_12
Peer reviewed

Parent, X. (2014). Maximality vs. Optimality in Dyadic Deontic Logic. Journal of Philosophical Logic, 43 (6), 1101--1128. doi:10.1007/s10992-013-9308-0
Peer reviewed

Parent, X., & van der Torre, L. (2013). Input/output logic. In L. van der Torre, D. M. Gabbay, J. Horty, ... R. van der Meyden (Eds.), Handbook of Deontic Logic. London, United Kingdom: College Publications.
Peer reviewed

Broersen, J., Cranefield, S., Elrakaiby, Y., Gabbay, D. M., Grossi, D., Lorini, E., Parent, X., van der Torre, L., Tummolini, L., Turrini, P., & Schwarzentruber, F. (2013). Normative Reasoning and Consequence. In Normative Multi-Agent Systems (pp. 33-70). Springer Netherlands.
Peer reviewed

Gabbay, D., Horty, J., Parent, X., van der Meyden, R., & van der Torre, L. (Eds.). (2013). Handbook of Deontic logic and Normative Systems. London, United Kingdom: College Publication.

Boer, M. D., Gabbay, D. M., Parent, X., & Slavkovic, M. (2012). Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synthese, 187 (2), 623--660. doi:10.1007/s11229-010-9866-4
Peer reviewed

Turrini, P., Parent, X., van der Torre, L., & Colombo Tosatto, S. (2012). Contrary-To-Duties in Games. In Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (pp. 329-348). Springer.
Peer reviewed

Parent, X. (2012). Why Be Afraid of Identity? In Logic Programs, Norms and Action (pp. 295-307). Springer.
Peer reviewed

Parent, X. (2011). Moral particularism in the light of deontic logic. Artificial Intelligence and Law, 19 (2-3), 75-98. doi:10.1007/s10506-011-9108-1
Peer reviewed

Parent, X. (2010). Moral Particularism and Deontic Logic. In G. Sartor & G. Governatori (Eds.), Proceedings of the International Conference on Deontic Logic in Computer Science (pp. 84–97). Springer Netherlands. doi:10.1007/978-3-642-14183-6_8
Peer reviewed

Parent, X. (2009). A complete axiom set for Hansson's deontic logic DSDL2. Logic Journal of the IGPL. doi:10.1093/jigpal/jzp050
Peer reviewed

Parent, X., & van der Torre, L. (2009). Input/output logics. Abstract book of 9th De Morgan Workshop on Deontic Logic. doi:10.1023/A:1004748624537
Peer reviewed

Contact ORBilu