Inference Operators for Argumentation Formalisms - The Case of Dung-style Frameworks
Inference Operators for Argumentation Formalisms - The Case of Dung-style Frameworks
Ringo Baumann,Leendert van der Torre
2025 · DBLP: conf/nmr/BaumannT25
Non-Monotonic Reasoning · 0 Citations
TLDR
This first attempt revisits classical non-monotonic formalisms such as Default Logic and Logic Programming and adapt their core concepts to the realm of Dung’s Argumentation Theory to provide initial formal insights and open avenues for future work.
