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

Matti Berthold


Room: A 402, Augustusplatz 10
Phone: +49-341-97 32204
E-mail: berthold@informatik.uni-leipzig.de


Address

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


Lehre

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