Team

I am very fortunate to work with these amazing people:

• Josephine Dik | PhD Student (Funded by MCSA COFUND)
• Huimin Dong | Postdoctoral Researcher
• Blaz Istenic Urh | PhD Student (Funded by the FWF project LoDEx )
• Emery Neufeld | Postdoctoral Researcher (Funded by the TAIGER project)
• Xavier Parent | Researcher (Funded by the FWF project LoDEx )
• Dominik Pichler | PhD Student
• Dmitry Rozplokhas | PhD Student (Funded by MCSA COFUND)
• Mirko Tagliaferri | Researcher (Funded by the FWF Project LoDEx)

Student Projects

We offer student projects, Bachelor and Master thesis dealing with logics different from classical logic (so called non-classical logics). The projects and the thesis, related to the research projects:

FWF LoDEx Logical methods for Deontic Explanations

(the project aims to develop logical methods to be applied to Legal Reasoning and Bioethics) 2024-2026,

WWTF TAIGER Training and Guiding AI Agents with Ethical Rules

(the project combines Logic, Answer Set Programming and Reinforcement Learning) 2023-2026,

WWTF AXAIS: Acquiring and explaining norms for AI systems

(the project combines Logic, Large Language Models, Legal Reasoning and Answer Set Programming) 2025-2029

WWTF Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

(the project combined Logic and Sanskrit Philosophy) 2017-2022, and

FWF START Non classical proofs: Theory, Applications and Tools

(the project dealt with proof theory, semantics and automated deduction) 2011-2019,

can be theoretical, implementative or a combination of the two. Project topics include, but are not limited to:

• Encoding calculi for logics for normative reasoning into SAT solvers


• Integrating (Deontic or temporal) Logic with Reinforcement Learning. The aim is to design autonomous agents sensitive to (ethical, legal and social) norms and constraints.


• Using Large Language Models to automatedly acquiring information in a formal language


• Applications of non-classical logics to various fields. Examples of applications are contained here for fuzzy logics and medical expert systems, here for deontic logic and Artificial Intelligence, or here and here for deontic logics and Indian Philosophy or here for legal reasoning.
  


• Formalization of legal and ethical norms in a language that can be processed by an AI machine


• Non-classical logics: investigation of their semantics, proof theory, important properties... : search for general results or focus on particular logics or classes of logics (modal logics, deontic logics, fuzzy logics, substructural logics, logics for causality ...).


• Computer programs facilitating the investigation of non-classical logics. For example:
  Extend the system TINC (Tools for the Investigation of Non-Classical logics) to cover more logics or further properties. (See here for more details on TINC)