TISS: | Michael Bernreiter |
Room: | HA0302 |
Fax: | +43/1/58801/18493 |
Email: | ![]() |
I am a PhD student and university assistant at the Databases and Artifical Intelligence group. My academic interests lie in all (or at least most) things concerned with logic and computation, and especially with non-classical logics and complexity theory. Currently, I am working on Choice Logics together with my supervisor Stefan Woltran and Jan Maly.
[1] |
Encoding Choice Logics in ASP Michael Bernreiter, Jan Maly, Stefan Woltran ASPOCP 2020 (Download) |