Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig

Matti Berthold


E-mail: berthold@informatik.uni-leipzig.de


Address

Matti Berthold
Universität Leipzig
Institut für Informatik
D-04009 Leipzig
Germany


Lehre

Wintersemester 20/21:Wissensrepräsentation Praktikum
Sommersemester 2020:Spurtheorie
Seminarmodul
Wintersemester 19/20:Diskrete Strukturen
Seminarmodul
Sommersemester 2019:Logik



Publications

M.Berthold, R.Gonçalves, M.Knorr, J.Leite: A Syntactic Operator for Forgetting that Satisifes Strong Persistence [preprint]
Theory and Practice of Logic Programming, Volume 19, Special Issue 5-6 35th International Conference on Logic Programming) September 2019, pp. 1038-1055

M.Berthold, R.Gonçalves, M.Knorr, J.Leite: Forgetting in Answer-Set Programming with Anonymous Cycle [preprint]
EPIA 2019: Progress in Artificial Intelligence, pp. 552-565