pyglaf: A solver for Argumentation Frameworks written in python and taking advantage of circumscriptino (and therefore of glucose).
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Alviano, Mario: Argumentation reasoning via circumscription with \textscpyglaf (2019)
- Nofal, Samer; Atkinson, Katie; Dunne, Paul E.: On checking skeptical and ideal admissibility in abstract argumentation frameworks (2019)
- Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)