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 | 397 | 2013 |
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 | 215 | 2021 |
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 | 94 | 2013 |
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 | 64 | 2020 |
Input/output logics X Parent, L van der Torre Abstract book of 9th De Morgan Workshop on Deontic Logic, 2009 | 52 | 2009 |
Conventional signalling acts and conversation AJI Jones, X Parent Workshop on Agent Communication Languages, 1-17, 2003 | 38 | 2003 |
“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 | 37 | 2014 |
Å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 | 34 | 2019 |
Introduction to deontic logic and normative systems X Parent, L van der Torre College Publications, 2018 | 33 | 2018 |
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 | 32 | 2005 |
Maximality vs. optimality in dyadic deontic logic X Parent Journal of Philosophical Logic 43, 1101-1128, 2014 | 31 | 2014 |
Intuitionistic basis for input/output logic X Parent, D Gabbay, L Torre David Makinson on Classical Methods for Non-Classical Problems, 263-286, 2014 | 31 | 2014 |
A dyadic deontic logic in HOL C Benzmüller, A Farjami, X Parent Deontic Logic and Normative Systems---14th International Conference, DEON …, 2018 | 28 | 2018 |
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 | 28 | 2017 |
Moral particularism in the light of deontic logic X Parent Artificial Intelligence and Law 19, 75-98, 2011 | 28 | 2011 |
Completeness of Åqvist’s systems E and F X Parent The Review of Symbolic Logic 8 (1), 164-177, 2015 | 27 | 2015 |
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 | 26 | 2013 |
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 | 24 | 2017 |
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G X Parent Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008 | 21 | 2008 |
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 | 20 | 2007 |