Xavier Parent

According to our database, Xavier Parent authored at least 47 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset).

Xavier Parent, Christoph Benzmüller

Arch. Formal Proofs, 2024

2023

Normative Conditional Reasoning as a Fragment of HOL.

Xavier Parent, Christoph Benzmüller

CoRR, 2023

Permission in a Kelsenian Perspective.

Agata Ciabattoni, Xavier Parent, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2023

Perspectival Obligation and Extensionality in an Alethic-Deontic Setting.

Dominik Pichler, Xavier Parent

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

Analytic Proof Theory for Åqvist's System F.

Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Detachment in Normative Systems: Examples, Inference Patterns, Properties.

Leendert van der Torre, Xavier Parent

FLAP, 2022

Dyadic Obligations: Proofs and Countermodels via Hypersequents.

Agata Ciabattoni, Nicola Olivetti, Xavier Parent

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

On Some Weakened Forms of Transitivity in the Logic of Norms.

Xavier Parent

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results.

Xavier Parent, Christoph Benzmüller

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

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, Francesco Ricca

Theory Pract. Log. Program., 2021

A Modal Characterisation of an Intuitionistic I/O Operation.

Xavier Parent

FLAP, 2021

A Kelsenian Deontic Logic.

Agata Ciabattoni, Xavier Parent, Giovanni Sartor

Proceedings of the Legal Knowledge and Information Systems, 2021

Input/Output Logic With a Consistency Check - the Case of Permission.

Maya Olszewski, Xavier Parent, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

Artif. Intell., 2020

2019

åqvist's Dyadic Deontic Logic E in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

FLAP, 2019

I/O Logic in HOL.

Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent

FLAP, 2019

A geometrical view of I/O logic.

Dov M. Gabbay, Xavier Parent, Leon van der Torre

CoRR, 2019

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

CoRR, 2019

Report on the Second International Joint Conference on Rules and Reasoning.

Christoph Benzmüller, Xavier Parent, Francesco Ricca

AI Mag., 2019

2018

First Experiments with a Flexible Infrastructure for Normative Reasoning.

Christoph Benzmüller, Xavier Parent

CoRR, 2018

I/O Logic in HOL - First Steps.

Christoph Benzmüller, Xavier Parent

CoRR, 2018

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

CoRR, 2018

A Model for Regulating of Ethical Preferences in Machine Ethics.

Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer

Proceedings of the Human-Computer Interaction. Theories, Methods, and Human Issues, 2018

I/O Logics with a Consistency Check.

Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

A Dyadic Deontic Logic in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

A Deontic Logic Reasoning Infrastructure.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Sailing Routes in the World of Computation, 2018

2017

The pragmatic oddity in norm-based deontic logics.

Xavier Parent, Leendert W. N. van der Torre

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

2016

Cumulative aggregation.

Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Completeness of Åqvist's Systems E and F.

Xavier Parent

Rev. Symb. Log., 2015

2014

Maximality vs. Optimality in Dyadic Deontic Logic.

Xavier Parent

J. Philos. Log., 2014

Aggregative Deontic Detachment for Normative Reasoning.

Xavier Parent, Leon van der Torre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

"Sing and Dance!" - Input/Output Logics without Weakening.

Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013

Normative Reasoning and Consequence.

Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber

Proceedings of the Normative Multi-Agent Systems, 2013

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, Marija Slavkovic

Synth., 2012

Contrary-To-Duties in Games.

Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto

Proceedings of the Logic Programs, Norms and Action, 2012

Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views.

Xavier Parent

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Moral particularism in the light of deontic logic.

Xavier Parent

Artif. Intell. Law, 2011

2010

A complete axiom set for Hansson's deontic logic DSDL2.

Xavier Parent

Log. J. IGPL, 2010

Moral Particularism and Deontic Logic.

Xavier Parent

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2008

Normative-informational positions: a modal-logical approach.

Andrew J. I. Jones, Xavier Parent

Artif. Intell. Law, 2008

On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.

Xavier Parent

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2006

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, Xavier Parent, Santi Ristol, J. Sairamesh, Lutz Schubert, Nilufer Tuptuk

Proceedings of the Enterprise Interoperability, 2006

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

Log. J. IGPL, 2005

Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language.

Fredrik Vraalsen, Mass Soldal Lund, Tobias Mahler, Xavier Parent, Ketil Stølen

Proceedings of the Trust Management, Third International Conference, 2005

2003

Remedial Interchange, Contrary-to-Duty Obligation and Commutation.

Xavier Parent

J. Appl. Non Class. Logics, 2003

Conventional Signalling Acts and Conversation.

Andrew J. I. Jones, Xavier Parent

Proceedings of the Advances in Agent Communication, 2003

2001

Cumulativity, Identity and Time in Deontic Logic.

Xavier Parent

Fundam. Informaticae, 2001