Follow
Xavier Parent
Xavier Parent
Technological University of Vienna
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Handbook of deontic logic and normative systems
D Gabbay, J Horty, X Parent, R Van der Meyden, L van der Torre
College Publications, 2021, 2021
2102021
The varieties of permission
SO Hansson, D Gabbay, J Horty, X Parent, R van der Meyden, ...
Handbook of deontic logic and normative systems 1, 195-240, 2013
932013
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
C Benzmüller, X Parent, L van der Torre
Artificial intelligence 287, 103348, 2020
632020
Input/output logics
X Parent, L van der Torre
Abstract book of 9th De Morgan Workshop on Deontic Logic, 2009
522009
Input/output logics
X Parent, L van der Torre
Abstract book of 9th De Morgan Workshop on Deontic Logic, 2009
522009
Conventional signalling acts and conversation
AJI Jones, X Parent
Workshop on Agent Communication Languages, 1-17, 2003
382003
“Sing and Dance!” Input/Output Logics without Weakening
X Parent, L van der Torre
International Conference on Deontic Logic in Computer Science, 149-165, 2014
372014
Introduction to deontic logic and normative systems
X Parent, L van der Torre
College Publications, 2018
332018
Specifying legal risk scenarios using the CORAS threat modelling language: Experiences and the way forward
F Vraalsen, MS Lund, T Mahler, X Parent, K Stĝlen
Trust Management: Third International Conference, iTrust 2005, Paris, France …, 2005
322005
Ċqvist's dyadic deontic logic E in HOL
C Benzmüller, A Farjami, X Parent
IfCoLoG Journal of Logics and their Applications 6 (5), 733-755, 2019
312019
Intuitionistic basis for input/output logic
X Parent, D Gabbay, L Torre
David Makinson on Classical Methods for Non-Classical Problems, 263-286, 2014
302014
A dyadic deontic logic in HOL
C Benzmüller, A Farjami, X Parent
Deontic Logic and Normative Systems---14th International Conference, DEON …, 2018
282018
The pragmatic oddity in norm-based deontic logics
X Parent, L van der Torre
Proceedings of the 16th edition of the International Conference on Articial …, 2017
282017
Maximality vs. optimality in dyadic deontic logic
X Parent
Journal of Philosophical Logic 43, 1101-1128, 2014
282014
Moral particularism in the light of deontic logic
X Parent
Artificial Intelligence and Law 19, 75-98, 2011
282011
Completeness of Ċqvist’s systems E and F
X Parent
The Review of Symbolic Logic 8 (1), 164-177, 2015
262015
Alternative semantics for deontic logic
SO Hansson, D Gabbay, J Horty, X Parent, R van der Meyden, ...
Handbook of Deontic Logic and Normative Systems 1, 445-497, 2013
262013
Detachment in normative systems: Examples, inference patterns, properties
X Parent, L van der Torre
IfCoLog Journal of Logics and Their Applications 4 (9), 2295-3039, 2017
232017
The TrustCoM approach to enforcing agreements between interoperating enterprises
M Wilson, A Arenas, D Chadwick, T Dimitrakos, J Doser, P Giambiagi, ...
Enterprise Interoperability: New Challenges and Approaches, 365-375, 2007
202007
A deontic logic reasoning infrastructure
C Benzmüller, X Parent, L van der Torre
Sailing Routes in the World of Computation: 14th Conference on Computability …, 2018
192018
The system can't perform the operation now. Try again later.
Articles 1–20