pyglaf

pyglaf: A solver for Argumentation Frameworks written in python and taking advantage of circumscriptino (and therefore of glucose).

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles , 1 standard article )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Alviano, Mario: Argumentation reasoning via circumscription with \textscpyglaf (2019)
  2. Nofal, Samer; Atkinson, Katie; Dunne, Paul E.: On checking skeptical and ideal admissibility in abstract argumentation frameworks (2019)
  3. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)