| Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation B van Gijzel, H Prakken Argument & Computation 3 (1), 21-47, 2012 | 36 | 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 COMMA, 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 | 2 | 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
