Xavier Parent
|
|
||||
| Adresse postale |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2022
Detachment in Normative Systems: Examples, Inference Patterns, Properties;
in IfCoLog Journal of Logics and Their Applications (2022), 9(4), 1019-1062
2020
LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset); ; ; ; ; ; ;
in Data in Brief (2020), 33
2019
Åqvist's Dyadic Deontic Logic E in HOL; ;
in IfCoLog Journal of Logics and Their Applications (2019), 6(5), 733--755
Report on the Second International Joint Conference on Rules and Reasoning; ;
in AI Magazine (2019), 40(2), 73-74
Selected Student Contributions and Workshop Papers of LuxLogAI 2018; ;
Book published by EasyChair (2019)
2018
A Model for Regulating of Ethical Preferences in Machine Ethics; ; ;
in Proceedings of International Conference on Human-Computer Interaction (2018)
A Dyadic Deontic Logic in HOL; ;
in Broersen, Jan; Condoravdi, Cleo; Nair, Shyam; Pigozzi, Gabriella (Eds.) Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (2018, June 11)
First Experiments with a Flexible Infrastructure for Normative Reasoning;
E-print/Working paper (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 (2018)
Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings; ; ;
Book published by Springer (2018)
Input/output logics with a consistency check;
in Pigozzi, Gabriella; Broersen, Jan; Condoravdi, Cleo; Nair, Shyam (Eds.) Deontic Logic and Normative Systems (DEON 2018) (2018)
2017
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL; ; ;
Scientific Conference (2017, July 06)
Detachment in Normative Systems: Examples, inference Patterns, Properties;
in IfCoLog Journal of Logics and Their Applications (2017), 4(9), 2295-3039
The pragmatic oddity in a norm-based semantics;
in Governatori, Guido (Ed.) 16th International Conference on Artificial Intelligence & Law (ICAIL-17) (2017, June)
2016
2015
2014
Maximality vs. Optimality in Dyadic Deontic Logicin Journal of Philosophical Logic (2014), 43(6), 1101--1128
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 (2014)
Intuitionistic basis for IOL; ;
in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)
2013
Input/output logic;
in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff; van der Meyden, Ron (Eds.) Handbook of Deontic Logic (2013)
2012
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]; ; ;
in Synthese (2012), 187(2), 623--660
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) (2012)
2011
Moral particularism in the light of deontic logicin Artificial Intelligence and Law (2011), 19(2-3), 75-98
2010
Moral Particularism and Deontic Logicin Sartor, Giovanni; Governatori, Guido (Eds.) Proceedings of the International Conference on Deontic Logic in Computer Science (2010)
2009
