full screen background image

Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

News Ideas

» New related project funded «

FWF Lisa Meitner grant "Axiomatizing conditional normative reasoning" for the researcher Xavier Parent. Scientist in charge: A. Ciabattoni. December 2021-November 2023.

14 December 2021


» Mīmāṃsā Panel at ECSAS «

On Monday the 26th of July 2021, a panel on the influence of Mīmāṃsā on Sanskrit jurisprudence will be held virtually at the European Conference of South Asian Studies. The panel is organised by Elisa Freschi and will see the participation of, among other scholars, Agata Ciabattoni and Kees van Berkel. For more details, see here: link

1 July 2021


» Invited Talk «

Sudipta Munsi was interviewed as part of the Indological Interview Series organised by the Central Sanskrit University

12 June 2021


» Invited Talk «

Agata Ciabattoni gave an invited talk presenting the project at the Indian Conference on Logic and its Applications (ICLA 2021)

4 March 2021

» Workshop «

As a result of new collaborations with the logic, AI, and normative reasoning group of the ICR University of Luxembourg (led by Prof. Leendert van der Torre), two workshops are organized on the topic of deontic logic, legal reasoning, and AI. The two workshop dates are January 21 and February 16, 2021. Talks (from the Vienna group) include presentations by Agata Ciabattoni, Björn Lellmann, and Kees van Berkel.

21 January and February 16, 2021

» New member of the project «

Xavier Parent joined the project as a researcher.

1 Februari 2021

» PHD Thesis «

Francesca Gulisano successfully defended her PhD thesis Normative reasoning in Mimamsa: a deontic logic approach (thesis link) at the Scuola Normale Superiore, Pisa, January 2021

31 January 2021

» New related project funded «

Ernst Mach Grant for the visiting Ph.D. student Tiziano Dalmonte on Specificity and compensation in the logic of Mīmāṃsā. Oestereichische Akademische Austauschdienst (OeAD). Scientist in charge: A. Ciabattoni. 2020-2021.

07 September 2020

» New member of the project «

Maya Olszewski joined the project as a PhD student.

05 September 2020

» New member of the project «

Marco Ferrante joined the project as a researcher.

01 June 2020

» Invited talk «

Björn Lellmann gave an invited talk on aspects of the project at the Annual Meeting of the Swiss Society for Logic and Philosophy of Science 2019.

6 November 2019

» New related project funded «

Ernst Mach Grant for the visiting Ph.D. student Francesca Gulisano on Solving deontic conflicts: The logic of Mīmāṃsā. Funded by the Oestereichische Akademische Austauschdienst (OeAD). Scientist in charge: A. Ciabattoni. 2019-2020.

15 October 2019

» TABLEAUX 2019 Best Paper Award «

The article Combining monotone and normal modal logic in nested sequents -- with countermodels won the Best Paper Award at TABLEAUX 2019.

5 August 2019

» Upcoming Talk «

Elisa Freschi will give a talk on Mīmāṃsā reasoning about conflicting statements at Mahopādhyāyamahotsava: Celebration of a Sanskrit Teacher at the University of Oxford. The details are:

Title: Mīmāṃsā reasoning about conflicting statements
Date: June 20, 2019, 9:35-10:25
Location:   Wolfson College, University of Oxford
Participants need to register for the event, see here for further details.

5 June 2019

» Two interviews with E. Freschi «

Elisa Freschi gave two interviews, in which the project is mentioned:

8 May 2019

» New related project funded «

Volkswagen Stiftung, Artificial Intelligence and the Society of the Future, Call 2018, Planning grant.

Title: Norm-based reasoning: from legal and moral traditions to AI systems.
Description: an interdisciplinary project whose principal investigators are Matthias Armgardt (Konstanz), Agata Ciabattoni (Vienna), Adrian Paschke (Berlin) and Giovanni Sartor (Bologna).
The project started in April 2019.

» Upcoming Talk «

Shishir Saxena will give a talk on permissions in Mīmāṃsā in the IKGA colloquium in Vienna. The details are:

Title: Conflicting Commands: Hermeneutic Solutions in Mīmāṃsā
Date: April 2, 2019, 11:00-12:30
Location:   Room 2.25, IKGA, Hollandstraße 11-13/2, 1020 Wien

28 January 2019

» Conference Participation «

Shishir Saxena presented a paper titled ‘Denotation as complex and chronologically extended: anvitābhidhāna in Śālikanātha's Vākyārthamātṛkā-I’ at the 9th Coffee Break Conference on Science and Technology in Premodern Asia (4-6 December, Wolfson College, University of Oxford) during the panel ‘Grammar and Language Science’. The conference brought together several leading scholars from across the world to present and discuss their work on premodern Asia. For an abstract of Shishir's talk see here.

15 January 2019

» Workshop Report published «

A short report on the ATAI workshop was published in the SIGLOG newsletter.

29 October 2018

» New member of the project «

Shishir Saxena joined the project as a researcher.

16 October 2018

» Workshop Announcement «

Title: » Deontic Reasoning: From Ancient Texts to Artificial Intelligence «

Date: June 11-13, 2018, Vienna

The workshop will bring together experts from the fields of Logic, Sanskrit, Philosophy, Artificial Intelligence and Law for talks and brainstorming discussions. More information can be found on the workshop's website.

4 May 2018

» New member of the project «

Sudipta Munsi joined the project in May as a PhD student.

7 May 2018

» New members of the project «

Kees van Berkel and Rafał Kłeczek joined the project in the beginning of January as PhD students.

31 January 2018

» Making Indian Philosophy part of the debate «

A conference co-sponsored by this project will take place in Vienna, 28--29.9.2017. The purpose of the conference is to break the boundaries between "classical" and "contemporary" Indian philosophy, so as to make it possible for Indian philosophy and philosophers to become part of the ongoing discussion on topics such as ethics and logics. You can announce your participation to elisa dot freschi at oeaw dot ac dot at
→ See here. (ef)

21 September 2017

» Tutorial «

Björn Lellmann (and Revantha Ramanayake) will give a tutorial at the Co-located conferences TABLEAUX 2017, FroCoS 2017 and ITP 2017.
When: September 2017.
Where: Brasilia, Brazil.
Title: General methods in proof theory for modal and substructural logics.

15 May 2017

» PhD course «

Agata Ciabattoni will give a course at the International Summer School for Proof Theory in First-Order Logic.
When: August 2017.
Where: Funchal, Madeira.
Title: Proof Theory for Non-Classical Logics: Sequent calculi and beyond.

15 May 2017

» Andrew Ollett in India «

Andrew Ollett will travel to India from July 30 to August 10 and will undertake research for the "Reasoning Tools for Deontic Logic" project. He will go to Pondicherry, to use the library of the Institut Français de Pondichéry and to discuss the project with colleagues at the École Française d'Extrême-Orient, and then to Chennai, where he will consult and photograph manuscripts of Mīmāṃsā texts that are held at the Government Oriental Manuscripts Library at the University of Madras.

15 May 2017

» New member of the project «

Andrew Ollett (Harvard) joined the project on May the 15th.

15 May 2017

» Project Start «

The Project has started on 15.05.2017!

15 May 2017