Matti Berthold

berthold@informatik.uni-leipzig.de

Software

PyArg [code] [documentation]

ForgettingWeb [code]

Forgetting via ASP

Publications

D.Odekerken, A.Borg, M.Berthold: Demonstrating PyArg 2.0
(AI³@AI*IA-23)

M.Berthold, A.Rapberger, M.Ulbricht: On the Expressive Power of Assumption-Based Argumentation
(JELIA-23)

M.Berthold, A.Rapberger, M.Ulbricht: Forgetting Aspects in Assumption-Based Argumentation
(KR-23)

D.Odekerken, A.Borg, M.Berthold: Accessible Algorithms for Applied Argumentation
(Arg&App@KR-23)

M.Berthold, M.Knorr, D.Odekerken: ForgettingWeb [pdf]
(ICLP-23)

M.Berthold: On Syntactic Forgetting with Strong Persistence [proofs]
(KR-22) (best student paper runner-up)

R.Baumann, M.Berthold: Limits and Possibilities of Forgetting in Abstract Argumentation [preprint]
(IJCAI-22)

M.Berthold, R.Gonçalves, M.Knorr, J.Leite: A Syntactic Operator for Forgetting that Satisifes Strong Persistence [preprint]
(ICLP-19) Theory and Practice of Logic Programming, Volume 19, Special Issue 5-6

M.Berthold, R.Gonçalves, M.Knorr, J.Leite: Forgetting in Answer-Set Programming with Anonymous Cycle [preprint]
(EPIA-19)

R.Baumann, M.Berthold: Limits and Possibilities of Forgetting in Abstract Argumentation
(NMR-21)

M.Berthold: Extending the DIAMOND System to work with GRAPPA
(SAFA@COMMA-16)

Lehre

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