TU Wien Informatics

Role

2021S

 

  • A General Framework for Choice Logics / Master Thesis by M. Bernreiter / Supervisor: S. Woltran, J. Maly; Logic and Computation, 2020; final examination: 2020-09-28
  • Encoding Choice Logics in ASP / M. Bernreiter, J. Maly, S. Woltran / Talk: ICLP 2020, Rende, Italien; 2020-09-18 - 2020-09-24; in: "International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020", (2020), 1 - 14