IJCAI 2024poster0 citations
Formal Argumentation in Symbolic AI
Abstract
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.
Knowledge Representation and Reasoning: KRR: ArgumentationKnowledge Representation and Reasoning: KRR: Knowledge representation languagesKnowledge Representation and Reasoning: KRR: Computational complexity of reasoning
BibTeX
@inproceedings{ijcai2024p985,
title = {Formal Argumentation in Symbolic AI},
author = {Ulbricht, Markus},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-24}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Kate Larson},
pages = {8577--8582},
year = {2024},
month = {8},
note = {Early Career},
doi = {10.24963/ijcai.2024/985},
url = {https://doi.org/10.24963/ijcai.2024/985},
}