Projects

(last 5 years; see also the individual homepages of group members)

  • Logical methods for Deontic Explanations (LoDEx). FWF Weave schema with Luxemburg and Germany. Agata Ciabattoni (with Leon van der Torre and Christian Strasser). 2024-2026.
  • TAIGER: Training and Guiding AI Agents with Ethical Rules WWTF, call ICT 2022. Agata Ciabattoni (with Ezio Bartocci and Thomas Eiter). May 2023-2026.
  • Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts WWTF, "Mathematics and ... Call 2016 ". Agata Ciabattoni (with Elisa Freschi -- Austrian Academy of Science). May 2017- May 2021.
  • TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics Transnational Funding FWF-ANR. Agata Ciabattoni (with N. Olivetti and D. Galmiche -- France), February 2017-February 2022.
  • MSCA COFUND Doctoral Programme LogiCS@TUWien. 20 PhD positions.
    E. Bartocci (Vice-Chair for Programme Admission), P. Cerny, A. Ciabattoni (Vice-Chair for Ethics), T. Eiter, R. Ganian (Vice-Chair for Programme Admission), G. Gottlob, L. Kovács, M. Maffei, M. Ortiz (Vice-Chair for Publicity and Outreach), S. Szeider (Chair), G. Weissenbacher, S. Woltran, F. Zuleger (Vice-Chair for Research and Training). 2022-2027.
  • EC-RISE Project MOSAIC (Modalities in Substructural Logics: Theory, Methods and Applications). (29 Partners), Agata Ciabattoni Coordinator for the TU Wien site, 2021-2024.
  • Volkswagen Stiftung. Artificial Intelligence and the Society of the Future Call 2018. Planning grant. Norm-based reasoning: from legal and moral traditions to AI systems. Interdisciplinar Project. Agata Ciabattoni together with Matthias Armgardt PI (Konstanz), Adrian Paschke (Berlin) and Giovanni Sartor (Bologna). April 2019-December 2020.
  • FWF Doctoral College Logical Methods in Computer Science , 16 PhD positions. Convenors: E. Bartocci, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu, L. Kovacs, M. Maffei, M. Ortiz, R. Pichler, U. Schmidt, S. Szeider, G. Weissenbacher, S. Woltran. 2018-2022.
  • Lisa Meitner FWF project “Axiomatizing normative conditional reasoning (ANCoR)”. Xavier Parent. 2022-2024.
  • COST action OC-2017-1-22305 DIGital FORensics: evidence Analysis via intelligent Systems and Practices 2018-2023.
  • Ernst Mach Grant for the visiting Ph.D. student Francesca Gulisano on "Solving deontic conflicts: the logic of Mimamsa" from the Oestereichische Akademische Austauschdienst (OeAD). Scientist in charge A. Ciabattoni.
  • VOLKSWAGEN Stiftung. Artificial Intelligence and the Society of the Future Call 2018. Planning grant. Norm-based reasoning: from legal and moral traditions to AI systems. (Agata Ciabattoni)
  • FWF Stand-alone project. On the Computational Interpretation of Intermediate Logics (Federico Aschieri)
  • COST action DIGital FORensics: evidence Analysis via intelligent Systems and Practices 2018-2021 (Agata Ciabattoni)
  • Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts, funded by WWTF (Vienna Science and Technology Fund), 2017-2021 (Agata Ciabattoni)
  • Transnational Funding FWF-ANR, TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics, 2017-2020 (Agata Ciabattoni)
  • EC-RISE (3 Years), Marie Curie Action: Research and Innovation Staff Exchange (RISE) SYSMICS : Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics (23 Partners, 13 Countries), Agata Ciabattoni Coordinator for the TU Wien site, 2016-2019.
  • Stiftung Aktion Österreich-Ungarn. Proj. no: 92öu14. Formalisierung der Beweistheorien. 2016-2017. (Revantha Ramanayake)
  • FWF Lise Meitner Sequents for Interpolation and Realization. 2015-2017 (Roman Kuznets)
  • Marie Skłodowska-Curie Fellowship Proof Theoretic Analysis of Modal Logics 2015-2017 (Björn Lellmann)
  • Non classical proofs: Theory, Applications and Tools, FWF START prize, 2011-2017. (Agata Ciabattoni)