Formal Argumentation in Symbolic AI. In Kate Larson (Hrsg.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 8577--8582, International Joint Conferences on Artificial Intelligence Organization, August 2024. [PUMA: topic_knowledge] URL