Our paper
Streamlining Input/Output Logics with Sequent Calculi
with Dmitry Rozplokhas won the
Ray Reiter Best Paper Prize at the
conference
KR 2023 .
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.
-
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.
-
Scientist in charge for the FWF LisaMeitner project of
Xavier Parent 2021-2024
Current conference activities:
-
PC co-chair of AIML 2024 (Prague)
-
PC co-chair of LATD 2023 (Tblisi, Georgia)
-
PC co-chair and Main Organizer of the MOSAIC meeting (Vienna, September 2023)
-
PC member of KR 2024, NMR 2024, LPAR 2024, IJCAR 2024, TACL 2024
|
|
|
Opening of the Vienna Summer of Logic
(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
|