default search action
Xavier Parent 0001
Person information
- affiliation: TU Wien, Institute of Logic and Computation, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Xavier Parent, Christoph Benzmüller:
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Arch. Formal Proofs 2024 (2024) - [j19]Xavier Parent
:
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation. J. Philos. Log. 53(3): 721-760 (2024) - [j18]Maya Olszewski, Xavier Parent
Permissive and regulative norms in deontic logic. J. Log. Comput. 34(4): 728-763 (2024) - [i7]Agata Ciabattoni, Nicola Olivetti, Xavier Parent:
Dyadic obligations: proofs and countermodels via hypersequents. CoRR abs/2406.09088 (2024) - 2023
- [c23]Dominik Pichler, Xavier Parent:
Perspectival Obligation and Extensionality in an Alethic-Deontic Setting. DEON 2023: 57-77 - [c22]Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas:
Analytic Proof Theory for Åqvist's System F. DEON 2023: 79-98 - [c21]Agata Ciabattoni, Xavier Parent
Permission in a Kelsenian Perspective. JURIX 2023: 113-118 - [i6]Xavier Parent, Christoph Benzmüller:
Normative Conditional Reasoning as a Fragment of HOL. CoRR abs/2308.10686 (2023) - 2022
- [j17]Leendert van der Torre, Xavier Parent:
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 9(4): 1087-1130 (2022) - [c20]Xavier Parent, Christoph Benzmüller:
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ARQNL@IJCAR 2022: 92-108 - [c19]Xavier Parent:
On Some Weakened Forms of Transitivity in the Logic of Norms. NMR 2022: 147-150 - [c18]Agata Ciabattoni
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA 2022: 54-71 - 2021
- [j16]Xavier Parent:
A Modal Characterisation of an Intuitionistic I/O Operation. FLAP 8(8): 2349-2362 (2021) - [j15]Christoph Benzmüller
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): 1-3 (2021) - [c17]Maya Olszewski, Xavier Parent, Leendert van der Torre:
Input/Output Logic With a Consistency Check - the Case of Permission. DEON 2021: 358-375 - [c16]Agata Ciabattoni
A Kelsenian Deontic Logic. JURIX 2021: 141-150 - 2020
- [j14]Christoph Benzmüller
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287: 103348 (2020)
2010 – 2019
- 2019
- [j13]Christoph Benzmüller
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40(2): 73-74 (2019) - [j12]Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent:
I/O Logic in HOL. FLAP 6(5): 715-732 (2019) - [j11]Christoph Benzmüller, Ali Farjami, Xavier Parent:
åqvist's Dyadic Deontic Logic E in HOL. FLAP 6(5): 733-754 (2019) - [e3]Christoph Benzmüller, Xavier Parent, Alexander Steen:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing 10, EasyChair 2019 [contents] - [i5]Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre:
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR abs/1903.10187 (2019) - [i4]Dov M. Gabbay, Xavier Parent, Leon van der Torre:
A geometrical view of I/O logic. CoRR abs/1911.12837 (2019) - 2018
- [c15]Christoph Benzmüller
A Deontic Logic Reasoning Infrastructure. CiE 2018: 60-69 - [c14]Christoph Benzmüller, Ali Farjami, Xavier Parent:
A Dyadic Deontic Logic in HOL. DEON 2018: 33-49 - [c13]Xavier Parent, Leendert W. N. van der Torre:
I/O Logics with a Consistency Check. DEON 2018: 285-299 - [c12]Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer:
A Model for Regulating of Ethical Preferences in Machine Ethics. HCI (1) 2018: 481-506 - [e2]Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0 [contents] - [i3]Christoph Benzmüller, Ali Farjami, Xavier Parent:
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. CoRR abs/1802.08454 (2018) - [i2]Christoph Benzmüller, Xavier Parent:
I/O Logic in HOL - First Steps. CoRR abs/1803.09681 (2018) - [i1]Christoph Benzmüller, Xavier Parent:
First Experiments with a Flexible Infrastructure for Normative Reasoning. CoRR abs/1804.02929 (2018) - 2017
- [j10]Xavier Parent, Leendert W. N. van der Torre:
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 4(9): 2995-3038 (2017) - [c11]Xavier Parent, Leendert W. N. van der Torre
The pragmatic oddity in norm-based deontic logics. ICAIL 2017: 169-178 - 2016
- [c10]Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre:
Cumulative aggregation. DEON 2016: 1-15 - 2015
- [j9]Xavier Parent:
Completeness of Åqvist's Systems E and F. Rev. Symb. Log. 8(1): 164-177 (2015) - 2014
- [j8]Xavier Parent:
Maximality vs. Optimality in Dyadic Deontic Logic. J. Philos. Log. 43(6): 1101-1128 (2014) - [c9]Xavier Parent, Leendert W. N. van der Torre
"Sing and Dance!" - Input/Output Logics without Weakening. DEON 2014: 149-165 - [c8]Xavier Parent, Leon van der Torre:
Aggregative Deontic Detachment for Normative Reasoning. KR 2014 - [e1]Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent:
Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. Lecture Notes in Computer Science 8554, Springer 2014, ISBN 978-3-319-08614-9 [contents] - 2013
- [p1]Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby
Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70 - 2012
- [j7]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): 623-660 (2012) - [c7]Xavier Parent:
Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views. Logic Programs, Norms and Action 2012: 295-307 - [c6]Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre
Contrary-To-Duties in Games. Logic Programs, Norms and Action 2012: 329-348 - 2011
- [j6]Xavier Parent:
Moral particularism in the light of deontic logic. Artif. Intell. Law 19(2-3): 75-98 (2011) - 2010
- [j5]Xavier Parent:
A complete axiom set for Hansson's deontic logic DSDL2. Log. J. IGPL 18(3): 422-429 (2010) - [c5]Xavier Parent:
Moral Particularism and Deontic Logic. DEON 2010: 84-97
2000 – 2009
- 2008
- [j4]Andrew J. I. Jones, Xavier Parent:
Normative-informational positions: a modal-logical approach. Artif. Intell. Law 16(1): 7-23 (2008) - [c4]Xavier Parent:
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G. DEON 2008: 189-202 - 2006
- [c3]Michael D. Wilson, Alvaro Arenas
The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. I-ESA 2006: 365-375 - 2005
- [j3]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): 353-359 (2005) - [c2]Fredrik Vraalsen, Mass Soldal Lund, Tobias Mahler, Xavier Parent, Ketil Stølen:
Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language. iTrust 2005: 45-60 - 2003
- [j2]Xavier Parent:
Remedial Interchange, Contrary-to-Duty Obligation and Commutation. J. Appl. Non Class. Logics 13(3-4): 345-375 (2003) - [c1]Andrew J. I. Jones, Xavier Parent:
Conventional Signalling Acts and Conversation. Workshop on Agent Communication Languages 2003: 1-17 - 2001
- [j1]Xavier Parent:
Cumulativity, Identity and Time in Deontic Logic. Fundam. Informaticae 48(2-3): 237-252 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: