1. Predicting learnt clauses quality in modern SAT solvers;Audemard,2009
2. An introduction to argumentation semantics;Baroni;Knowl. Eng. Rev.,2011
3. Using argumentation to structure e-participation in policy making;Bench-Capon;Trans. Large-Scale Data- and Knowl.-Cent. Syst.,2015
4. An algorithm for computing semi-stable semantics;Caminada,2007
5. Semi-stable semantics;Caminada;J. Log. Comput.,2012