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.

Structure Learning of Gradual Bipolar Argumentation Graphs using Genetic Algorithms

A latex-package for drawing argumentation frameworks

Pure Python3 Argumentation Framework solver you can learn from and extend

This repository collects project-relevant Isabelle/HOL formalizations.

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

A visual interface designed to explain Stable Models and Well-Founded Semantics in the context of graph-based queries on Abstract Argumentation Framework🕸️

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

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.

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

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

Algorithms for computing serialisation sequences in argumentation frameworks

an editor for argumentation frameworks and semantics

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