Follow
Xavier Parent
Xavier Parent
Technological University of Vienna
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
CSF biomarker variability in the Alzheimer's Association quality control program
N Mattsson, U Andreasson, S Persson, MC Carrillo, S Collins, S Chalbot, ...
Alzheimer's & Dementia 9 (3), 251-261, 2013
4102013
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
2332021
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
1012013
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
832020
Input/output logics
X Parent, L van der Torre
Abstract book of 9th De Morgan Workshop on Deontic Logic, 2009
582009
Conventional signalling acts and conversation
AJI Jones, X Parent
Workshop on Agent Communication Languages, 1-17, 2003
402003
“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
382014
Åqvist's dyadic deontic logic E in HOL
C Benzmüller, A Farjami, X Parent
IfCoLoG Journal of Logics and their Applications 6 (5), 2019
362019
Introduction to deontic logic and normative systems
X Parent, L van der Torre
College Publications, 2018
362018
Maximality vs. optimality in dyadic deontic logic
X Parent
Journal of Philosophical Logic 43, 1101-1128, 2014
342014
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
Completeness of Åqvist’s systems E and F
X Parent
The Review of Symbolic Logic 8 (1), 164-177, 2015
312015
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
Moral particularism in the light of deontic logic
X Parent
Artificial Intelligence and Law 19, 75-98, 2011
302011
A dyadic deontic logic in HOL
C Benzmüller, A Farjami, X Parent
14th International Conference on Deontic Logic and Normative Systems (DEON 2018), 2018
292018
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
292017
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
Logic and the law: philosophical foundations, deontics, and defeasible reasoning
G Governatori, A Rotolo, G Sartor, DM Gabbay, J Horty, X Parent, ...
College Publications, 2021
252021
Detachment in normative systems: Examples, inference patterns, properties
X Parent, L van der Torre
IfCoLog Journal of Logics and Their Applications 4 (9), 2017
242017
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
X Parent
Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008
222008
The system can't perform the operation now. Try again later.
Articles 1–20