Bas van Gijzel
Bas van Gijzel
Software Engineer, Google
Verified email at google.com
Title
Cited by
Cited by
Year
Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation
B van Gijzel, H Prakken
Argument & Computation 3 (1), 21-47, 2012
322012
Relating Carneades with abstract argumentation
B van Gijzel, H Prakken
Proceedings of the 22nd International Joint Conference on Artificial …, 2011
302011
Haskell Gets Argumentative
B van Gijzel, H Nilsson
Trends in Functional Programming - 13th International Symposium, TFP 2012 …, 2012
82012
A principled approach to the implementation of argumentation models.
B Van Gijzel, H Nilsson
COMMA, 293-300, 2014
72014
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
62013
Tools for the implementation of argumentation models
B van Gijzel
2013 Imperial College Computing Student Workshop 35, 43-48, 2013
52013
Dungell: A reference implementation of Dung’s argumentation frameworks in Haskell
B Van Gijzel
Thimm and Villata (2015), 15-18, 2015
22015
Relating proof standards and abstract argumentation
B van Gijzel
Utrecht University. Master's thesis, 2011
12011
A framework for relating, implementing and verifying argumentation models and their translations
B Van Gijzel
University of Nottingham, 2016
2016
2013 Imperial College Computing Student Workshop
AV Jones, N Ng, T Hoare, P Norvig, T Apostolopoulos, ...
2013
The system can't perform the operation now. Try again later.
Articles 1–10