Xavier Parent - RankMe

57 papers A* 1B 2C 4Journal 29Unranked 18

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