Xavier Parent

Xavier Parent

Postdoctoral researcher

Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0345-040
Email
Telephone (+352) 46 66 44 5942
Fax (+352) 46 66 44 35942
powered by
orbilu.uni.lu

2018

Full Text
See detailA Model for Regulating of Ethical Preferences in Machine Ethics
Baniasadi, Zohreh; Parent, Xavier; Max, Charles; Creamer, Marcos

in Proceedings of International Conference on Human-Computer Interaction (2018)

Full Text
See detailAqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, September 17)

Full Text
See detailA Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Poster (2018, June 16)

Full Text
See detailA Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

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)

Full Text
See detailImplementation of Dyadic Deontic Logic E in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, May 04)

Full Text
See detailFaithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Report (2018)

See detailFirst Experiments with a Flexible Infrastructure for Normative Reasoning
Benzmüller, Christoph; Parent, Xavier

E-print/Working paper (2018)

See detailI/O Logic in HOL --- First Steps
Benzmüller, Christoph; Parent, Xavier

E-print/Working paper (2018)

See detailRules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; Roman, Dumitru

Book published by Springer (2018)

Full Text
See detailI/O Logic in HOL
Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier; Benzmüller, Christoph

Scientific Conference (2018, September 17)

Top of Page

2017

Full Text
See detailImplementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier; van der Torre, Leon

Scientific Conference (2017, July 06)

Full Text
See detailDetachment in Normative Systems: Examples, inference Patterns, Properties
Parent, Xavier; van der Torre, Leon

in The IfCoLog Journal of Logics and their Applications (2017), 4(9), 2295-3039

Full Text
See detailThe pragmatic oddity in a norm-based semantics
Parent, Xavier; van der Torre, Leon

in Governatori, Guido (Ed.) 16th International Conference on Artificial Intelligence & Law (ICAIL-17) (2017, June)

Top of Page

2016

Full Text
See detailA Representation Theorem for Abstract Cumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

Report (2016)

Full Text
See detailCumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

in Deontic Logic and Normative Systems (2016)

Top of Page

2015

Full Text
See detailCompleteness of Aqvist's systems E and F
Parent, Xavier

in Review of Symbolic Logic (2015), 8(1), 164-177

Top of Page

2014

Full Text
See detailMaximality vs. Optimality in Dyadic Deontic Logic
Parent, Xavier

in J. Philosophical Logic (2014), 43(6), 1101--1128

Full Text
See detailDeontic logic and Normative Systems - DEON2014
Parent, Xavier; Mariani, Fabrizio; Grossi, Davide; Meheus, Joke

Book published by Springer (2014)

Full Text
See detailSing and Dance!" - Input/Output Logics without Weakening
Parent, Xavier; Torre, Leendert W. N. Van Der

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

Full Text
See detailAggregative Deontic Detachment for Normative Reasoning
Parent, Xavier; van der Torre, Leon

in KR&R (2014)

See detailIntuitionistic basis for IOL
Parent, Xavier; van der Torre, Leon; Gabbay, Dov M.

in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)

Full Text
See detailSing and Dance!
van der Torre, Leon; Parent, Xavier

in Sing and Dance! (2014)

Top of Page

2013

See detailNormative Reasoning and Consequence
Broersen, Jan; Cranefield, Stephen; Elrakaiby, Yehia; Gabbay, Dov M.; Grossi, Davide; Lorini, Emiliano; Parent, Xavier; van der Torre, Leon; Tummolini, Luca; Turrini, Paolo; Schwarzentruber, Fran

in Normative Multi-Agent Systems (2013)

Full Text
See detailHandbook of Deontic logic and Normative Systems
Gabbay, Dov; Horty, Jeff; Parent, Xavier; van der Meyden, Ron; van der Torre, Leon

Book published by College Publication (2013)

See detailInput/output logic
Parent, Xavier; van der Torre, Leon

in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff; van der Meyden, Ron (Eds.) Handbook of Deontic Logic (2013)

Top of Page

2012

Full Text
See detailTwo dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
Boer, Mathijs De; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija

in Synthese (2012), 187(2), 623--660

See detailWhy Be Afraid of Identity?
Parent, Xavier

in Logic Programs, Norms and Action (2012)

See detailContrary-To-Duties in Games
Turrini, Paolo; Parent, Xavier; van der Torre, Leon; Colombo Tosatto, Silvano

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)

Top of Page

2011

Full Text
See detailMoral particularism in the light of deontic logic
Parent, Xavier

in Artificial Intelligence & Law (2011), 19(2-3), 75-98

Top of Page

2010

Full Text
See detailMoral Particularism and Deontic Logic
Parent, Xavier

in Sartor, Giovanni; Governatori, Guido (Eds.) Proceedings of the International Conference on Deontic Logic in Computer Science (2010)

Top of Page

2009

Full Text
See detailA complete axiom set for Hansson's deontic logic DSDL2
Parent, Xavier

in Logic Journal of the IGPL (2009)

Full Text
See detailInput/output logics
Parent, Xavier; van der Torre, Leon

in Abstract book of 9th De Morgan Workshop on Deontic Logic (2009)

Top of Page