Deontic reasoning: From ancient texts to artificial intelligence

  • Time: Mon-Wed, 11-13 June 2018, 09:00-18:30
  • Venue: Technische Universität Wien
  • Organisation: Elisa Freschi


Normative statements are enormously important in a variety of fields—from law and ethics to artificial intelligence. Reasoning with and about them requires deontic logic, which represents a quite recent area of research. By contrast, for more than two millennia, Mīmāṃsā, one of the most important systems of Indian philosophy, focused on the analysis of normative statements.

The workshop will bring together experts from the fields of logic, Sanskrit, philosophy, artificial intelligence and law for talks and brainstorming discussions. Central questions that will function as guiding threads will be:

How can we learn from and use these ancient analyses with respect to the present quest for legal reasoning or reasoning about ethical machines (e.g., self-driving cars)?

And vice versa, how can contemporary formal tools, such as logic or argumentation framework, enhance our understanding of ancient texts?

The workshop is part of the project Reasoning tools for deontic logic and applications to Indian sacred texts.

For more on the workshop, please check the workshop's website.

Kindly register your participation by 7 June 2018 with an email to elisa.freschi(at)


Matthias Baaz (Vienna University of Technology)

Ezio Bartocci (Vienna University of Technology)

David Brick (Yale University)

Agata Ciabattoni (Vienna University of Technology)

Patrick Cummins (Cornell University)

Wolfgang Dvorak (Vienna University of Technology)

Thomas Eiter (Vienna University of Technology)

Eli Franco (University of Leipzig)

Elisa Freschi (Austrian Academy of Sciences and University of Vienna)

Dov Gabbay (King’s College London)

Eberhard Guhe (Fudan University)

Francesca Gulisano (Scuola Normale Superiore di Pisa)

Rafał Kłeczek (Austrian Academy of Sciences and University of Vienna)

Roman Kuznets (Vienna University of Technology)

Björn Lellmann (Vienna University of Technology)

Lawrence McCrea (Cornell University)

Sanjay Modgil (King’s College London)

Sudipta Munsi (Austrian Academy of Sciences)

Andrew Ollett (University of Chicago)

Xavier Parent (University of Luxembourg)

Matteo Pascucci (Vienna University of Technology)

Parimal Patil (Harvard University)

Karin Preisendanz (University of Vienna)

Gernot Salzer (Vienna University of Technology)

Giovanni Sartor (University of Bologna)

Kees van Berkel (Vienna University of Technology)

Stefan Woltran (Vienna University of Technology)