Volgen
Xavier Parent
Xavier Parent
Technological University of Vienna
Geverifieerd e-mailadres voor logic.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2122021
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
942013
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
312014
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
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
202008
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20