I am a research assistant in the Individual and Collective Reasoning (ICR) group at the Computer Science Department of the University of Luxembourg. I took the PhD degree from the University of Aix-Marseille I, France. After that, I worked as a research associate at the Department of Computer Science of the King's College London, UK, and subsequently moved to Luxembourg.
I am a co-editor of the Handbook of Deontic Logic and Normative Systems. I was the general conference chair of RuleML+RR 2018 and a PC co-chair of DEON 2014.
With L. van der Torre Introduction to Deontic Logic and Normative Systems, College Publications, 2018. Link to publisher's homepage.
With J. Meheus (guest editors), Special issue: deontic modalities in natural language (selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014), Journal of Logic and Computation, Vol. 29, Issue 3, 2019.
With C. Benzmüller, F. Ricca and D. Roman (eds.), Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, (Springer, Lecture Notes in Computer Science, volume 11092, 2018.
With F. Cariani, D. Grossi and J. Meheus (eds). Deontic Logic and Normative Systems, 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. Lecture Notes in Computer Science Volume 8554, Springer, 2014. ToC.
With D. Gabbay, J. Horty, R. van der Meyden, and L. van der Torre (eds), Handbook of Deontic Logic and Normative Systems, Volume 2, College Publications, UK, forthcoming
With D. Gabbay, J. Horty, R. van der Meyden, and L. van der Torre (eds), Handbook of Deontic Logic and Normative Systems, Volume 1, College Publications, UK, 2013. Link to publisher's homepage. Available from both amazon UK and amazon US.
Preference-based semantics for dyadic deontic logics in Hansson's tradition: a survey of axiomatisation results. Invited talk at DEON 2016, organized by O. Roy, A. Tamminga and M. Willer, Bayreuth, Germany, July 18-21, 2016.
With C. Benzmüller and A. Farjami, ``Åqvist's dyadic deontic logic E in HOL", Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (Laura Alonso Alemany, Guillermo Simari, Leon van der Torre, eds.), volume 6, number 5, pp. 733--755, 2019
With C. Benzmüller, A. Farjami and P. Meder, ``I/O logic in HOL", Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (Laura Alonso Alemany, Guillermo Simari, Leon van der Torre, eds.), volume 6, number 5, pp. 715--732, 2019
With C. Benzmüller and F. Ricca, ``Report on the Second International Joint Conference on Rules and Reasoning (RuleML+RR 2018)", AI Magazine, volume 40, number 2, pp. 73--74, 2019
With C. Benzmüller and A. Farjami, ``Faithful semantic embedding of a dyadic deontic logic in HOL". In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, pp. 33-50, 2018. (John-Jules Meyer Best Paper Award).
With L. van der Torre, ``Input/output logics with a consistency check". In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, 2018.
With Z. Baniasadi, M. Cramer and C. Max, ``A model for regulating ethical preferences in machine ethics", Kurosu, Masaaki (ed.), Human-Computer Interaction. Theories, Methods, and Human Issues, 2018, Springer International Publishing, p.481-506. (Best Paper Award).
With C. Benzmüller and L. van der Torre, ``A deontic logic reasoning infrastructure". In: R. Miller, D. Nowotka and F. Manea (eds), 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August, 2018, Proceedings (Russel Miller, Dirk Nowotka, Florin Manea, eds.), Springer, 2018.
With L. van der Torre, ``The pragmatic oddity in a norm-based deontic logic". In G. Governatori (ed), 16th International Conference on Artificial Intelligence and Law (ICAIL-2017), London, UK - June 12 - 16, 2017, ACM Publications.
With L. van der Torre, ``Detachment in Normative Systems: Examples, inference Patterns, Properties" IfCoLog Journal of Logics and their Applications , Special Issue ``Logic for Normative Multi-Agent Systems" (Gest editors: G. Pigozzi and L. van der Torre), 2017, Volume 4, Number 9, pp. 2996-3039.
With C. Benzmuller and A. Farjami,``Implementation of Carmo and Jones' Dyadic Deontic Logic in Isabelle/HOL", Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017) , Mathematical Institute, Serbian Academy of Sciences and Arts, 2017.
``A modal translation of an intuitionistic I/O operation". Presented at the 7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), organized by V. de Paiva and S. Artemov at the University of Toulouse (France), 17-28 July, 2017 (satellite workshop of ESSLI'17). Post-conference version of the paper under review.
With A. Ambrossio and L. van der Torre, Cumulative aggregation. In O. Roy, A. Tamminga and M. Willer (eds), Deontic Logic and Normative Systems, 13th International Conference, DEON 2016, College Publications, UK, 2016, p. 1-15.
Completeness of Aqvist's systems E and F, Review of Symbolic Logic, 2015, vol. 8, issue 1, pp. 164-177.
Maximality vs optimality in dyadic deontic logic - Completeness results for systems in Hansson's tradition Journal of Philosophical Logic, 2014, vol 43, issue 6, pp. 1101-1128.
With L. van der Torre. Aggregative deontic detachment for normative reasoning (short paper). In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press, 2014. Poster.
With L. van der Torre. ``Sing and Dance!''. Input/output logics without weakening. In F. Cariani et al. (eds). Deontic Logic and Normative Systems, Proc. of 12th International Conference, DEON 2014,Lecture Notes in Computer Science Volume 8554, Springer, 2014, pp. 49-165.
With D. Gabbay and L. van der Torre. An intuitionistic basis for input/output logic. In S. O. Hansson (ed), David Makinson on Classical Methods for Non-Classical Problems, Springer, Series Oustanding Contributions to Logic, Vol. 3, 2014, pp. 263-286.
With L. van der Torre. Input/output logics. In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, L. van der Torre (eds), Handbook of Deontic Logic, College Publications, UK, 2013, pp. 499-544
With L. van der Torre. Aggregative deontic detachment. Poster presentation at the USC Deontic Modality Workshop, Los Angeles, May 20-22, 2013.
With J. Broersen, D. Gabbay, A. Herzig, E. Lorini, J.-J. Meyer and L. van der Torre, Deontic logic. In S. Ossowski (ed), Agreement Technologies, 2013, Springer, Dordrecht Heidelberg, pp. 171-180.
With J. Broersen, S. Cranefield, Y. Elrakaiby, D. M. Gabbay, D. Grossi, E. Lorini, L. van der Torre, L. Tummolini, P. Turrini, and F. Schwarzentruber, Normative reasoning and consequence, Normative Multi-Agent Systems, Dagstuhl Follow-Ups, 2013, pp. 33-70.
With D. Gabbay, M. de Boer and M. Slavkovic. Two-dimensional Standard Deontic Logic, Synthese, 2012, Volume 187, Issue 2, pp. 623-660
Why be afraid of identity? In: A. Artikis, R. Craven, N. Kesim, B. Sadighi and Kostas Stathis (eds), Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, 2012, Springer, LNCS, pp. 295-307.
With P. Turini, L. van der Torre and S. Colombo Tosatto. Contrary-to-duties in games. In: A. Artikis, R. Craven, N. Kesim, B. Sadighi and Kostas Stathis (eds), Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, 2012, Springer, LNCS, pp. 329-348.
particularism in the light of deontic logic, Artificial
Intelligence and Law, August 2011, Volume 19, Issue 2-3, pp.
Revised/extended version of the DEON'10 paper cited below.
Moral particularism and deontic logic. In
G. Governatori and G. Sartor (eds), Proceedings of the 10th
International Workshop on Deontic Logic (DEON'10),
Springer-Verlag, Berlin Heidelberg, 2010, pp. 84-96.
Honoured with the best paper award. (Best to read the above revised version)
A complete axiom set for Hansson's deontic logic DSDL2, Logic Journal of the IGPL, 2010, 18 (3), pp.422-429.
On the strong completeness of Aqvist's dyadic deontic logic G. In R. van der Meyden and L. van der Torre (eds), Proceedings of the 9th International Workshop on Deontic Logic (DEON'08), Springer-Verlag, Berlin Heidelberg, 2008, pp. 189-202.
With A.J.I. Jones. Normative-informational positions: A modal-logical approach, Artificial Intelligence and Law, 16, 2008, pp. 7-23.
With A.J.I. Jones. A convention-based approach to agent communication languages, Group Decision and Negotiation, 16, 2007. A revised and extended version of the AAMAS-03 paper cited below.
Review of: Coherent Systems by Karl Schlechta, Logic Journal of the Interest Group in Pure and Applied Logic (IGPL), 13, 2005, pp. 353-359.
With F. Vraalsen, M. S. Lund, T. Mahler and K. Stolen. Specifying legal risk scenarios using the Coras threat modelling language. In P. Hessmann, V. Issarny and S. Shin (eds), Trust Management, Proceedings of the 3nd International Conference on Trust Management, iTrust 2005, Paris, 23-26 May 2005, Springer Verlag, LNCS 3477, 2005, pp. 45-61.
With A.J.I. Jones. Conventional signalling acts and conversation. Presented at the AAMAS-03 Workshop on Agent Communication Languages and conversation policies, Melbourne, 14 July 2003. A revised version appeared in F. Dignum (ed), Advances in Agent Communication, LNAI, Springer Verlag, 2004, pp. 1-17.
interchange, contrary-to-duty obligation and commutation,
Journal of Applied Non-Classical Logics, 13, 3/4, 2003,
A revised and extended version of the MFI'03 paper.
Remedial interchange (in French). In A. Herzig, B. Chaib-draa and P. Mathieu (eds), Modèles Formels de l'Interaction (MFI'03) , Toulouse, Cépadues-Edition, 2003, pp. 199-208.
With P. Livet. Argumentation, revision and conditionals (in French). In P. Livet (ed), Révision des Croyances, Paris, Hermes Science Publication, 2002, pp. 229-258.
Cumulativity, identity and time in deontic logic, Fundamenta Informaticae, 48, 2001, pp. 237-252.
Defeasible conditional obligation: some remarks. In R. Demolombe and R. Hilpinen (eds) Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (DEON'00), Toulouse (France), 20-22 January 2000, pp. 301-309.
Tutorial on Normative Reasoning at KI 2019 (42nd German Conference on Artificial Intelligence) (23 Sep 2019, Kassle, DE)
Python (Fall 2019)
Syllabus Handouts Homeworks
Intelligent Agents 2 (Falls 2010 to 2018)
News: this year, we also use an implementation in Isabelle/HOL developped with C. Benzmuller and A. Steen at the Free University of Berlin.
Handouts : MDL (Monadic Deontic Logic) - DDL (Dyadic Deontic Logic)- IOL (Input/Output Logic)- cIOL (Constrained Input/Output Logic)
Intelligent Agents 1 (Spring 2016)
Handouts (2016) :
Epistemic logic - Conditionals - Nonmonotonic logic - Belief revision
Introduction to AI (Spring 2009)
Topics covered : planning - prolog - learning
Normative multi-agent systems
Tutorial for EASSS'09
With Leon van der Torre and Guido Boella
Topic: dyadic deontic logic
Slides : part 1 - part 2.
your message has been sent.