Seguir
Xavier Parent
Xavier Parent
Technological University of Vienna
Dirección de correo verificada de logic.at - Página principal
Título
Citado por
Citado por
Año
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
3962013
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
2192021
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
692020
Input/output logics
X Parent, L van der Torre
Abstract book of 9th De Morgan Workshop on Deontic Logic, 2009
542009
Conventional signalling acts and conversation
AJI Jones, X Parent
Workshop on Agent Communication Languages, 1-17, 2003
392003
“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
Å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
352019
Introduction to deontic logic and normative systems
X Parent, L van der Torre
College Publications, 2018
342018
Maximality vs. optimality in dyadic deontic logic
X Parent
Journal of Philosophical Logic 43, 1101-1128, 2014
322014
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
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
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
282017
Completeness of Åqvist’s systems E and F
X Parent
The Review of Symbolic Logic 8 (1), 164-177, 2015
282015
Moral particularism in the light of deontic logic
X Parent
Artificial Intelligence and Law 19, 75-98, 2011
272011
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
252013
Detachment in normative systems: Examples, inference patterns, properties
X Parent, L van der Torre
IfCoLog Journal of Logics and Their Applications 4 (9), 2017
232017
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
X Parent
Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008
212008
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
202018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20