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

Pure Python3 Argumentation Framework solver you can learn from and extend

A latex-package for drawing argumentation frameworks

This repository collects project-relevant Isabelle/HOL formalizations.

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

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.

Algorithms for computing serialisation sequences in argumentation frameworks

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

an editor for argumentation frameworks and semantics

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