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: ICAIL 2025; ARQNL 2024; KR 2024; NMR 2024; AAMAS 2024 (SPC, AI ethics track); AiML 2024; IJCAR 2024 | |
My CV is here.
|
With L. van der Torre Introduction to Deontic Logic and Normative Systems, College Publications, 2018. Link to publisher's homepage.
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.
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.
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". Journal of Applied Non-classical Logics. 2024. Online version: here. Accepted version (author manuscript):
here.
With C. Benzmueller, "Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)". Archives of Formal Proof. 2024, 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), 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. 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. 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. 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.
Non-monotonic logic and modes of argumentation: the case of conditional obligation
Articles
Revised/extended version of the DEON'10 paper cited
below.
Honoured
with the best paper award. (Best to read the above revised
version)
A revised and extended version of the MFI'03 paper.
PhD dissertation
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.
name :
email :
subject :
message :
your message has been sent.
thanks.