This is the supplemental material for the paper “Admissibility in Probabilistic Argumentation” by Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, and Nikolai Käfer.
The Tool
The CPrAA tool (a Checker for Probabilistic Abstract Argumentation) is available as Python package on PyPI.org or directly from its public repository. Some helpful information on installation and usage is given in the README.
All examples used in the paper along with the test results and instructions on how to reproduce them are available at https://dgit.cs.uni-saarland.de/Nikolai/admissibility-in-probabilistic-argumentation.
The Paper
The paper has been presented at KR21. The PDF is available here, the poster and the slides of the talk can be found here.
An extended journal version was published in the Journal of Artificial Intelligence Research (JAIR) in 2022 and can be found here.