I work mainly on (philosophical) logic and semantics, with a special focus on (deontic) conditionals.

I am a senior postdoc at the Institute of Logic and Computation of the Faculty of Informatics at TU Wien, within A. Ciabattoni's Theory and Logic research group. Before that, I was a FWF (Austrian Science Fund) Lisa Meitner fellow, working as Principal Investigator in a project titled “Axiomatizing conditional normative reasoning” (ANCoR).

I did my PhD under the supervision of P. Livet at the University of Aix-Marseille I, France. My PhD, titled “Nonmonotonic logics and modes of argugumentation", was awarded the best thesis award 2002 in the Humanities and the Social Sciences by the city of Aix-en-Provence. After that, I worked as a research associate at the Department of Computer Science of the King's College London, UK, and subsequently at the Computer Science Department of the University of Luxembourg.

I am a co-editor of the two volumes of the Handbook of Deontic Logic and Normative Systems, and a co-author of the textbook Introduction to Deontic Logic and Normative Systems. I was the general conference chair of RuleML+RR 2018 and a PC co-chair of DEON 2014.

Transitivity paper in J. Philos. Logic
Definite descriptions paper forthcoming in IfColog .
Paper "conditional norms in HOL" (with a case study on Parfit's repugnant conclusion) forthcoming in JANCL. Corresponding Isabelle/HOL data set at the AFP. (See links below.)
The perspectival obligation paper (with D. Pichler) won the John-Jules Meyer best paper award at DEON 2023. Pic here
Report on the ANCoR project in KI - Künstliche Intelligenz
DEON steering committee member (2023-2027)
PC membership: ARQNL 2024; KR 2024; NMR 2024; AAMAS 2024 (SPC, AI ethics track); AiML 2024; IJCAR 2024

My CV is here.

           

           

Area of specialization

  • Logic, with a special emphasis on normative reasoning (deontic, conditional logic).

Textbook

With L. van der Torre Introduction to Deontic Logic and Normative Systems, College Publications, 2018. Link to publisher's homepage.

Co-editions

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, 2021. Link to publisher's homepage. Available from both amazon UK and amazon US.

With C. Benzmüller and F. Ricca (guest editors), Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Journal of Theory and Practice of Logic Programming , volume 21, number 1, pp. 1--3, 2021.

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 1, College Publications, UK, 2013. Link to publisher's homepage. Available from both amazon UK and amazon US.

Keynote talk

Preference-based semantics for dyadic deontic logics in Hansson's tradition: a survey of axiomatization results. Invited talk at DEON 2016, organized by O. Roy, A. Tamminga and M. Willer, Bayreuth, Germany, July 18-21, 2016.

 

Articles

With D. Pichler, "Extensionality vs intensionality: a perspectival approach to conditional ought with definite descriptions". Forthcoming in IfColog. Preprint.

"On some weaker forms of transitivity in the logic of conditional obligation". J. Phil. Logic. Published: 26 April 2024. Available online here or as a PDF here. Licensed under CC BY 4.0

"Report on `Axiomatizing conditional normative reasoning'". KI - Künstliche Intelligenz, March 2024. The Version of Record of this article is available online here. Licensed under CC BY 4.0

With C. Benzmueller, "Normative conditional reasoning as a fragment of HOL". Forthcoming in Journal of Applied Non-classical Logics. The accepted version (author manuscript) is here.

With C. Benzmueller, "Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)". Archives of Formal Proof. Online here. This is the Isabelle/HOL dataset of the previous paper.

With D. Pichler ''Perspectival obligation and extensionality in an alethic-deontic setting". In J. Maranhão et al. (ed), Deontic Logic and Normative Systems, 16th International Conference, DEON 2023, College Publications, 2023, pp. 57-78, PDF. (John-Jules Meyer Best Paper Award). Licensed under CC BY 4.0

With A. Ciabattoni, N. Olivetti, R. Rayamanake and D. Rozplokhas, ''Analytic proof theory for ̊Aqvist’s system F". In J. Maranhão et al. (ed), Deontic Logic and Normative Systems, 16th International Conference, DEON 2023, College Publications, 2023, pp. 79-98, PDF.

With M. Olsweski and L. van der Torre ''Permissives and regulative norms in deontic logic". Journal of Logic and Computation.PDF. On-line first 31 May 2023.

''On some weakenings of transitivity in the logic of norms (extended abstract)". In O. Arieli, G. Casini and L. Giordano (eds), NMR 2022 : International Workshop on Non-Monotonic Reasoning (associated with FLoc and KR 2022), 7-8 August 2022, Haifa, Israel, CEUR-WS, vol. 3197, pp. 147-150. (Open access via publisher-provided link)

With C. Benzmueller, ''Automated verification of deontic correspondences in Isabelle/HOL – first results", ARQNL 2022, Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022), 11 August 2022, Haifa, Israel. (Open access via publisher-provided link)

With A. Ciabattoni and N. Olivetti, "Dyadic obligations: proofs and countermodels via hypersequents". In R. Aydogan, N. Criado, J. Lang, V. Sanchez-Anguix, M. Serramia (eds), PRIMA 2022, Springer, 2022, pp. 54-71. PDF.

With C. Benzmuller and A. Farjami, ``Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments". In Rahman, S., Armgardt, M., & Nordtveit Kvernenes, H. C., editor(s), New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems, volume 23, of Logic, Argumentation & Reasoning. Springer Nature Switzerland AG, 2022. Link

With A. Ciabattoni and G. Sartor. ``A Kelsean deontic logic". In E. Schweighofer (Ed.), Legal Knowledge and Information Systems (Jurix 2021), IO Press, 2021, pp. 141 - 150. (Open access via publisher-provided link)

With C. Benzmüller and L. van der Torre. ``Designing normative theories of ethical reasoning" (extended abstract and poster, journal paper track). Presented at the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021.

``Preference semantics for Hansson-type dyadic deontic logic: a survey of results". In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, L. van der Torre (eds), Handbook of Deontic Logic and Normative Systems, Volume 2, College Publications, UK, 2021, p. 7-70.

With M. Olszewski and L. van der Torre. ``Input/output logics with a consistency check--the case of permission". In: F. Liu, A. Marra, P. Portner, and F. Van De Putte (eds.). Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021, Munich). London: College Publications, 2021, .

``A modal translation of an intuitionistic I/O operation". In V. de Paiva and S. Artemov (eds.), IfColog, Volume 8, Number 8, Special Issue: Intuitionistic Modal Logic and Applications, September 2021, pp. 2350-2362.

With C. Benzmüller and A. Farjami, ``Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments", Chapter in New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems (Matthias Armgardt, Hans Christian Nordtveit Kvernenes, Shahid Rahman, eds.), Springer Nature Switzerland AG, Logic, Argumentation & Reasoning, volume 23, 2021.

With C. Benzmüller and L. van der Torre, "Designing normative theories of ethical reasoning: formal framework, methodology, and tool support". Artificial Intelligence, volume 287, pp. 103348, 2020. Preprint. Isabelle/HOL theory files available on GitHub at http://www.logikey.org

With C. Benzmüller, A. Farjami, D. Fuenmayor, P. Meder, X. Parent, A. Steen, L. van der Torre and V. Zahoransky. " LogiKEy workbench: deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)", In Data in Brief, Elsevier, volume 33, number 106409, pp. 1-10, 2020. (Note: data publication)

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.

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, Volume 1, 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.

Moral particularism in the light of deontic logic, Artificial Intelligence and Law, August 2011, Volume 19, Issue 2-3, pp. 75-98.
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.

Remedial interchange, contrary-to-duty obligation and commutation, Journal of Applied Non-Classical Logics, 13, 3/4, 2003, pp. 345-375.
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.

PhD dissertation

Non-monotonic logic and modes of argumentation: the case of conditional obligation
Abstract - Presentation - Contents - Full text (written in French, for institutional reasons)

Teaching


Deontic Logic for Normative Reasoning (2022-3) TU Wien (Master's Programme Logic and Computation)

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)
Syllabus
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)
Syllabus
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
Course description
Slides : part 1 - part 2.

x

name :

email :

subject :

message :

your message has been sent.

thanks.