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 18 articles )

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

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