| berthold@informatik.uni-leipzig.de |
PyArg [code] [documentation]
R.Baumann, M.Berthold, D.Gabbay, O.Rodrigues:
Forgetting in Abstract Argumentation: Limits and Possibilities
Journal of Artificial Intelligence Research, Volume 82
M.Berthold, Q.Manière:
A Gentle Introduction to the Stable Model Semantics for Logic Programs
(Video@KR-24)
(best video award)
(people's choice award)
M.Berthold, A.Rapberger, M.Ulbricht:
Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs
(KR-24)
M.Berthold:
On Syntactic Forgetting with relativized Strong Persistence
(NMR@KR-24)
M.Berthold, M.Ulbricht:
On Forgetting in Assumption-Based Argumentation
(LPNMR-24)
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)
R.Baumann, M.Berthold: Limits and Possibilities of Forgetting in Abstract Argumentation
(NMR-21)
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)
M.Berthold: Extending the DIAMOND System to work with GRAPPA
(SAFA@COMMA-16)
| Wintersemester 20/21: | • Wissensrepräsentation Praktikum |
| Sommersemester 2020: | • Spurtheorie |
| • Seminarmodul | |
| Wintersemester 19/20: | • Diskrete Strukturen |
| • Seminarmodul | |
| Sommersemester 2019: | • Logik |