Team
I am very fortunate to work with these amazing people:
- Josephine Dik | PhD Student (Funded by MCSA COFUND)
- Emery Neufeld
| Postdoc (Funded by the TAIGER project)
- Xavier Parent | Researcher (Funded by an FWF Lisa Meitner grant)
- Dominik Pichler | PhD Student
- Dmitry Rozplokhas | PhD Student (Funded by the MCSA COFUND)
- Matteo Tesi | 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),
WWTF TAIGER
Training and Guiding AI
Agents with Ethical Rules (the project combines Logic, Answer Set Programming and Reinforcement
Learning),
WWTF
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts (the project combined Logic and
Sanskrit Philosophy),
and
FWF START
Non classical proofs: Theory, Applications and Tools (the project dealt with proof theory and automated deduction),
can be theoretical, implementative or a combination of the two.
Project topics include, but are not limited to:
- Applications of non-classical logics to various fields, for instance
legal reasoning or constraining behaviour of autonomous agents with (ethical, legal and social) norms.
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.
- Formalization of legal and ethical norms in a formal language
- 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)