| Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation B van Gijzel, H Prakken Argument & Computation 3 (1), 21-47, 2012 | 37 | 2012 |
| Relating Carneades with abstract argumentation B van Gijzel, H Prakken Proceedings of the 22nd International Joint Conference on Artificial …, 2011 | 31 | 2011 |
| Haskell Gets Argumentative B van Gijzel, H Nilsson Trends in Functional Programming - 13th International Symposium, TFP 2012 …, 2012 | 8 | 2012 |
| A principled approach to the implementation of argumentation models B van Gijzel, H Nilsson Computational Models of Argument, 293-300, 2014 | 7 | 2014 |
| Towards a framework for the implementation and verification of translations between argumentation models B van Gijzel, H Nilsson Proceedings of the 25th symposium on Implementation and Application of …, 2013 | 6 | 2013 |
| Tools for the implementation of argumentation models B van Gijzel 2013 Imperial College Computing Student Workshop 35, 43-48, 2013 | 5 | 2013 |
| Dungell: A reference implementation of Dung’s argumentation frameworks in Haskell B van Gijzel Thimm and Villata (2015), 15-18, 2015 | 3 | 2015 |
| A framework for relating, implementing and verifying argumentation models and their translations B Van Gijzel University of Nottingham, 2016 | 1 | 2016 |
| Relating proof standards and abstract argumentation B van Gijzel Utrecht University. Master's thesis, 2011 | 1 | 2011 |
Henry PrakkenDepartment of Information and Computing Sciences, Faculty of Science, Utrecht University在 cs.uu.nl 的电子邮件经过验证
Henry PrakkenDepartment of Information and Computing Sciences, Faculty of Science, Utrecht University在 cs.uu.nl 的电子邮件经过验证
Henrik NilssonAssociate Professor, School of Computer Science, University of Nottingham在 cs.nott.ac.uk 的电子邮件经过验证