ctoth / argumentation Star 0 Code Issues Pull requests Finite formal argumentation frameworks and semantics: Dung, ASPIC+, bipolar, partial, and revisionargumentationknowledge-representationprobabilistic-argumentationabstract-argumentationdungsat-solvingaspicnonmonotonic-reasoningformal-argumentationbipolar-argumentationiccma Updated Jul 22, 2026Python
DaphneO / StabilityLabelAlgorithm Star 0 Code Issues Pull requests StabilityLabelAlgorithm is a package for estimating the justification and stability status of claims in an instantiation of ASPIC+.argumentationinquirystructured-argumentationdynamic-argumentationaspic Updated Jul 13, 2022Python