Current Position
Fixed-term researcher (Ricercatore a Tempo Determinato di Tipo A - RTDa) at the KRDB Research Centre, Faculty of Engineering, Free University of Bozen-BolzanoResearch Interests
- Modal logics
- Temporal logics
- Description logics
- Combinations thereof
andrea.mazzullo at unibz.it