UPDF AI

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.