Neuro-symbolic approaches to reasoning problems from abstract argumentation

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

dabasco - putting the spice into DaBAS (Evaluation module for D-BAS)

Argumentation-based Dialog Reasoner

Open source educational tool for argumentation framework visualisation and semantic inference.

A latex-package for drawing argumentation frameworks

Structure Learning of Gradual Bipolar Argumentation Graphs using Genetic Algorithms

Pure Python3 Argumentation Framework solver you can learn from and extend

A visual interface designed to Explain Abstract Argumentation Framework 🕸️

This repository collects project-relevant Isabelle/HOL formalizations.

Towards Deception Detection in Multiplayer Dialogue Games using Trust-Based Argumentation. Umeå University, 2023

A Gym environment to test the behaviour of RL algorithms when increasing the complexity (i.e. number of exceptions) of the regulation governing the environment. Regulations are implemented as argumentation frameworks.

A bias-reducing approach for identifying the most robust answers from complex - but deterministic - social debates.

Implementation of argumentation frameworks, including conflict-free, admissible, stable, and preferred semantics, in Python and ASP (Clingo).

web-based visualization tool for navigation and exploration of argumentation solution spaces

Submission for the ICCMA 2023 - 5th International Competition on Computational Models of Argumentation

Algorithms for computing serialisation sequences in argumentation frameworks

an editor for argumentation frameworks and semantics