Follow
Bas van Gijzel
Bas van Gijzel
Team Lead, Daml Compiler, Digital Asset
Verified email at digitalasset.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
362012
Relating Carneades with abstract argumentation
B van Gijzel, H Prakken
Proceedings of the 22nd International Joint Conference on Artificial …, 2011
312011
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
A framework for relating, implementing and verifying argumentation models and their translations
B Van Gijzel
University of Nottingham, 2016
12016
Relating proof standards and abstract argumentation
B van Gijzel
Utrecht University. Master's thesis, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–9