The project AXAIS: Acquiring and explaining norms for AI systems (with Cristinel Mateis and John Horty)
has been funded by WWTF under the
Digital Humanism
call 2023. !!!! I am looking for a PhD student (call
here
The Cluster of Excellence
Bilateral Artificial Intelligence has been funded.
Starting date: October 1rst, 2024.
Call for positions
here )
Running research projects:
-
FWF project Logical methods for Deontic Explanations
(LoDEx) (with Leon van der Torre and
Christian Strasser ) (WEAVE schema with Luxemburg and Germany) 2024-2026
-
WWTF (call
ICT 2022)
project TAIGER: Training and Guiding AI Agents with Ethical Rules
(with Ezio Bartocci and Thomas Eiter). 2023-2026.
-
Scientist in charge for the Marie Curie Individual fellowship of
Matteo Tesi 2024-2026
-
EC-RISE Project MOSAIC (Modalities in Substructural Logics: Theory, Methods and
Applications). 2021-2025
-
MSCA COFUND Doctoral Programme LogiCS@TUWien.
20 PhD positions. 2022-2027.
Current conference activities:
-
PC co-chair of AIML 2024 (Prague)
-
PC member of KR 2024, NMR 2024, LPAR 2024, IJCAR 2024, TACL 2024
|
|
|
Opening of the Vienna Summer of Logic
2014 (Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob)
|
Logic -- the most important science on earth
(Cover story of
"Profil ", June 2014)
|
Austria's news weekly "Profil ", December 2015
|