Formal Argumentation in Symbolic AI

Formal Argumentation in Symbolic AI

Markus Ulbricht

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence
Early Career. Pages 8577-8582. https://doi.org/10.24963/ijcai.2024/985

In the area of symbolic AI, researchers strive to develop techniques to teach machines (commonsense) reasoning. Human reasoning is often argumentative in its nature, and consequently, computational models of argumentation constitute a vibrant research area in symbolic AI. In this paper I describe my most significant contributions to the field spanning from general non-monotonic logics to formal argumentation.
Keywords:
Knowledge Representation and Reasoning: KRR: Argumentation
Knowledge Representation and Reasoning: KRR: Knowledge representation languages
Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning