ASPARTIX

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool for computing acceptable extensions for a broad range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance of an argumentation framework as input, and uses the answer-set solver DLV for computing the type of extension specified by the user.


References in zbMATH (referenced in 16 articles )

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

  1. Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano: On the impact of configuration on abstract argumentation automated reasoning (2018)
  2. Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi: Weighted argumentation for analysis of discussions in twitter (2017)
  3. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)
  4. Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco: On efficiently estimating the probability of extensions in abstract argumentation frameworks (2016)
  5. Hunter, Anthony: Probabilistic qualification of attack in abstract argumentation (2014)
  6. Nofal, Samer; Atkinson, Katie; Dunne, Paul E.: Algorithms for decision problems in argument systems under preferred semantics (2014)
  7. Amgoud, Leila; Devred, Caroline: Argumentation frameworks as constraint satisfaction problems (2013)
  8. Arieli, Ofer; Caminada, Martin W.A.: A QBF-based formalization of abstract argumentation semantics (2013)
  9. Hunter, Anthony: A probabilistic approach to modelling uncertain logical arguments (2013)
  10. Liao, Beishui: Toward incremental computation of argumentation semantics: a decomposition-based approach (2013)
  11. Liao, Beishui; Huang, Huaxin: Partial semantics of argumentation: basic properties and empirical (2013)
  12. Baroni, Pietro; Cerutti, Federico; Giacomin, Massimiliano; Guida, Giovanni: AFRA: argumentation framework with recursive attacks (2011)
  13. Bistarelli, Stefano; Pirolandi, Daniele; Santini, Francesco: Solving weighted argumentation frameworks with soft constraints (2011)
  14. Liao, Beishui; Huang, Huaxin: Partial semantics of argumentation (2011)
  15. Nieves, Juan Carlos; Osorio, Mauricio; Zepeda, Claudia: A schema for generating relevant logic programming semantics and its applications in argumentation theory (2011)
  16. Egly, Uwe; Gaggl, Sarah Alice; Woltran, Stefan: ASPARTIX: Implementing argumentation frameworks using answer-set programming (2008) ioport