Cumulativity, Identity and Time in Deontic Logic. - Xavier Parent 001 (Fundam. Informaticae, 2001)

Conventional Signalling Acts and Conversation. - Andrew J. I. Jones; Xavier Parent 001 (Workshop on Agent Communication Languages, 2003)

Remedial Interchange, Contrary-to-Duty Obligation and Commutation. - Xavier Parent 001 (J. Appl. Non Class. Logics, 2003)

Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language. - Fredrik Vraalsen; Mass Soldal Lund; Tobias Mahler; Xavier Parent 001; Ketil Stølen (iTrust, 2005)

Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8. - Xavier Parent 001 (Log. J. IGPL, 2005)

The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. - Michael D. Wilson; Alvaro Arenas; David W. Chadwick; Theo Dimitrakos; Jürgen Doser; Pablo Giambiagi; David Golby; Christian Geuer-Pollmann; Jochen Haller; Ketil Stølen; Tobias Mahler; Lorenzo Martino; et al. (I-ESA, 2006)

On the Strong Completeness of Åqvist's Dyadic Deontic Logic G. - Xavier Parent 001 (DEON, 2008)

Normative-informational positions: a modal-logical approach. - Andrew J. I. Jones; Xavier Parent 001 (Artif. Intell. Law, 2008)

Moral Particularism and Deontic Logic. - Xavier Parent 001 (DEON, 2010)

A complete axiom set for Hansson's deontic logic DSDL2. - Xavier Parent 001 (Log. J. IGPL, 2010)

Moral particularism in the light of deontic logic. - Xavier Parent 001 (Artif. Intell. Law, 2011)

Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views. - Xavier Parent 001 (Logic Programs, Norms and Action, 2012)

Contrary-To-Duties in Games. - Paolo Turrini; Xavier Parent 001; Leendert W. N. van der Torre; Silvano Colombo Tosatto (Logic Programs, Norms and Action, 2012)

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. - Mathijs de Boer; Dov M. Gabbay; Xavier Parent 001; Marija Slavkovic 001 (Synth., 2012)

Normative Reasoning and Consequence. - Jan M. Broersen; Stephen Cranefield; Yehia Elrakaiby; Dov M. Gabbay; Davide Grossi; Emiliano Lorini; Xavier Parent 001; Leendert W. N. van der Torre; Luca Tummolini; Paolo Turrini; François Schwarzentruber (Normative Multi-Agent Systems, 2013)

"Sing and Dance!" - Input/Output Logics without Weakening. - Xavier Parent 001; Leendert W. N. van der Torre (DEON, 2014)

Aggregative Deontic Detachment for Normative Reasoning. - Xavier Parent 001; Leon van der Torre (KR, 2014)

Maximality vs. Optimality in Dyadic Deontic Logic. - Xavier Parent 001 (J. Philos. Log., 2014)

Completeness of Åqvist's Systems E and F. - Xavier Parent 001 (Rev. Symb. Log., 2015)

Cumulative aggregation. - Diego Agustín Ambrossio; Xavier Parent 001; Leendert W. N. van der Torre (DEON, 2016)

The pragmatic oddity in norm-based deontic logics. - Xavier Parent 001; Leendert W. N. van der Torre (ICAIL, 2017)

A Deontic Logic Reasoning Infrastructure. - Christoph Benzmüller; Xavier Parent 001; Leendert W. N. van der Torre (CiE, 2018)

A Dyadic Deontic Logic in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (DEON, 2018)

I/O Logics with a Consistency Check. - Xavier Parent 001; Leendert W. N. van der Torre (DEON, 2018)

A Model for Regulating of Ethical Preferences in Machine Ethics. - Zohreh Baniasadi; Xavier Parent 001; Charles Max; Marcos Cramer (HCI (1), 2018)

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (CoRR, 2018)

I/O Logic in HOL - First Steps. - Christoph Benzmüller; Xavier Parent 001 (CoRR, 2018)

First Experiments with a Flexible Infrastructure for Normative Reasoning. - Christoph Benzmüller; Xavier Parent 001 (CoRR, 2018)

Report on the Second International Joint Conference on Rules and Reasoning. - Christoph Benzmüller; Xavier Parent 001; Francesco Ricca (AI Mag., 2019)

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. - Christoph Benzmüller; Xavier Parent 001; Leendert W. N. van der Torre (CoRR, 2019)

A geometrical view of I/O logic. - Dov M. Gabbay; Xavier Parent 001; Leon van der Torre (CoRR, 2019)

I/O Logic in HOL. - Christoph Benzmüller; Ali Farjami; Paul Meder; Xavier Parent 001 (FLAP, 2019)

åqvist's Dyadic Deontic Logic E in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (FLAP, 2019)

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. - Christoph Benzmüller; Xavier Parent 001; Leendert W. N. van der Torre (Artif. Intell., 2020)

Input/Output Logic With a Consistency Check - the Case of Permission. - Maya Olszewski; Xavier Parent 001; Leendert van der Torre (DEON, 2021)

A Kelsenian Deontic Logic. - Agata Ciabattoni; Xavier Parent 001; Giovanni Sartor (JURIX, 2021)

A Modal Characterisation of an Intuitionistic I/O Operation. - Xavier Parent 001 (FLAP, 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). - Christoph Benzmüller; Xavier Parent 001; Francesco Ricca (Theory Pract. Log. Program., 2021)

Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. - Xavier Parent 001; Christoph Benzmüller (ARQNL@IJCAR, 2022)

On Some Weakened Forms of Transitivity in the Logic of Norms. - Xavier Parent 001 (NMR, 2022)

Dyadic Obligations: Proofs and Countermodels via Hypersequents. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001 (PRIMA, 2022)

Detachment in Normative Systems: Examples, Inference Patterns, Properties. - Leendert van der Torre; Xavier Parent 001 (FLAP, 2022)

Analytic Proof Theory for Åqvist's System F. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001; Revantha Ramanayake; Dmitry Rozplokhas (DEON, 2023)

Perspectival Obligation and Extensionality in an Alethic-Deontic Setting. - Dominik Pichler; Xavier Parent 001 (DEON, 2023)

Permission in a Kelsenian Perspective. - Agata Ciabattoni; Xavier Parent 001; Giovanni Sartor (JURIX, 2023)

Normative Conditional Reasoning as a Fragment of HOL. - Xavier Parent 001; Christoph Benzmüller (CoRR, 2023)

Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). - Xavier Parent 001; Christoph Benzmüller (Arch. Formal Proofs, 2024)

Permissive and regulative norms in deontic logic. - Maya Olszewski; Xavier Parent 001; Leendert van der Torre (J. Log. Comput., 2024)

On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation. - Xavier Parent 001 (J. Philos. Log., 2024)

Report on "Axiomatizing Conditional Normative Reasoning". - Xavier Parent 001 (Künstliche Intell., 2024)

Conditional normative reasoning as a fragment of HOL. - Xavier Parent 001; Christoph Benzmüller (J. Appl. Non Class. Logics, 2024)