Xavier Parent

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 28

Top Topics

Consistency Check

Top Venues

Publications

Agata Ciabattoni, Xavier Parent, Giovanni Sartor
Permission in a Kelsenian Perspective. JURIX (2023)
Dominik Pichler, Xavier Parent
Perspectival Obligation and Extensionality in an Alethic-Deontic Setting. DEON (2023)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Analytic Proof Theory for Åqvist's System F. DEON (2023)
Xavier Parent, Christoph Benzmüller
Normative Conditional Reasoning as a Fragment of HOL. CoRR (2023)
Xavier Parent, Christoph Benzmüller
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ARQNL@IJCAR (2022)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA (2022)
Xavier Parent
On Some Weakened Forms of Transitivity in the Logic of Norms. NMR (2022)
Leendert van der Torre, Xavier Parent
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 9 (4) (2022)
Maya Olszewski, Xavier Parent, Leendert van der Torre
Input/Output Logic With a Consistency Check - the Case of Permission. DEON (2021)
Agata Ciabattoni, Xavier Parent, Giovanni Sartor
A Kelsenian Deontic Logic. JURIX (2021)
Xavier Parent
A Modal Characterisation of an Intuitionistic I/O Operation. FLAP 8 (8) (2021)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
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). Theory Pract. Log. Program. 21 (1) (2021)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287 (2020)
Christoph Benzmüller, Ali Farjami, Xavier Parent
åqvist's Dyadic Deontic Logic E in HOL. FLAP 6 (5) (2019)
Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent
I/O Logic in HOL. FLAP 6 (5) (2019)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40 (2) (2019)
Dov M. Gabbay, Xavier Parent, Leon van der Torre
A geometrical view of I/O logic. CoRR (2019)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR (2019)
Christoph Benzmüller, Ali Farjami, Xavier Parent
A Dyadic Deontic Logic in HOL. DEON (2018)
Christoph Benzmüller, Ali Farjami, Xavier Parent
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. CoRR (2018)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
A Deontic Logic Reasoning Infrastructure. CiE (2018)
Christoph Benzmüller, Xavier Parent
I/O Logic in HOL - First Steps. CoRR (2018)
Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer
A Model for Regulating of Ethical Preferences in Machine Ethics. HCI (1) (2018)
Xavier Parent, Leendert W. N. van der Torre
I/O Logics with a Consistency Check. DEON (2018)
Christoph Benzmüller, Xavier Parent
First Experiments with a Flexible Infrastructure for Normative Reasoning. CoRR (2018)
Xavier Parent, Leendert W. N. van der Torre
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 4 (9) (2017)
Xavier Parent, Leendert W. N. van der Torre
The pragmatic oddity in norm-based deontic logics. ICAIL (2017)
Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre
Cumulative aggregation. DEON (2016)
Xavier Parent
Completeness of Åqvist's Systems E and F. Rev. Symb. Log. 8 (1) (2015)
Xavier Parent, Leon van der Torre
Aggregative Deontic Detachment for Normative Reasoning. KR (2014)
Xavier Parent, Leendert W. N. van der Torre
"Sing and Dance!" - Input/Output Logics without Weakening. DEON (2014)
Xavier Parent
Maximality vs. Optimality in Dyadic Deontic Logic. J. Philos. Log. 43 (6) (2014)
Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synth. 187 (2) (2012)
Xavier Parent
Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views. Logic Programs, Norms and Action (2012)
Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto
Contrary-To-Duties in Games. Logic Programs, Norms and Action (2012)
Xavier Parent
Moral particularism in the light of deontic logic. Artif. Intell. Law 19 (2-3) (2011)
Xavier Parent
Moral Particularism and Deontic Logic. DEON (2010)
Xavier Parent
A complete axiom set for Hansson's deontic logic DSDL2. Log. J. IGPL 18 (3) (2010)
Xavier Parent
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G. DEON (2008)
Andrew J. I. Jones, Xavier Parent
Normative-informational positions: a modal-logical approach. Artif. Intell. Law 16 (1) (2008)
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
The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. I-ESA (2006)
Fredrik Vraalsen, Mass Soldal Lund, Tobias Mahler, Xavier Parent, Ketil Stølen
Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language. iTrust (2005)
Xavier Parent
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. Log. J. IGPL 13 (3) (2005)
Xavier Parent
Remedial Interchange, Contrary-to-Duty Obligation and Commutation. J. Appl. Non Class. Logics 13 (3-4) (2003)
Andrew J. I. Jones, Xavier Parent
Conventional Signalling Acts and Conversation. Workshop on Agent Communication Languages (2003)
Xavier Parent
Cumulativity, Identity and Time in Deontic Logic. Fundam. Informaticae 48 (2-3) (2001)