Bas van Gijzel
I'm a final year research PhD student in the Functional Programming Lab of the School of Computer Science at the University of Nottingham. My supervisor is Henrik Nilsson.
My current avenue of research is about relating, implementing and generalising formal models of argumentation through the Curry-Howard isomorphism, functional programming techniques and a pinch of category theory.
Some of my interests lie in (dependently typed) functional programming, type systems and general theory of programming languages, but also in formal argumentation, non-monotonic logic and artificial intelligence in general.
Drafts and Publications
- Dungell: A reference implementation of Dung's argumentation frameworks in Haskell (pdf)
[Code]
[Paper source (lhs)]
Bas van Gijzel. Accepted for ICCMA'15, 2015.
- A principled approach to the implementation of argumentation models (pdf)
[Code]
[Demo]
Bas van Gijzel and Henrik Nilsson. Accepted for Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014)
- Towards a framework for the implementation and verification of translations between argumentation models (pdf)
[Code Dung (lhs)]
[Code Carneades (lhs)]
[Code Translation (lhs)]
Bas van Gijzel and Henrik Nilsson. Post Proceedings of the 25th symposium on Implementation and Application of Functional Languages (IFL 2013), 93-103, 2014.
- Tools for the implementation of argumentation models (pdf)
[bib]
[Proceedings]
Bas van Gijzel. Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), 43-48, 2013.
- Towards a framework for the implementation and verification of translations between argumentation models (pdf)
[Code (lhs)]
[Poster]
Bas van Gijzel. Proceedings of ACAI Summer School 2013, London, 2013.
- Towards a framework for the implementation and verification of translations between argumentation models (Extended away day version) (pdf)
[Code (lhs)]
Bas van Gijzel. FP Lab Away Day proceedings, (near) Buxton, 2013.
- Haskell Gets Argumentative (pdf)
[bib]
[Code (lhs)] [Code (lhs)] -->
Bas van Gijzel and Henrik Nilsson. Proceedings of the Symposium on Trends in Functional Programming (TFP 2012), 215-230, 2013.
(The original publication is available at www.springerlink.com.)
- Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation (pdf preprint)
[bib]
[Journal]
Bas van Gijzel and Henry Prakken. Argument and Computation 3 (1), 21-47, 2012.
- Relating Carneades with abstract argumentation (pdf)
[bib]
[Poster]
Bas van Gijzel and Henry Prakken. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 1113-1119. Barcelona (Spain), 2011.
- Relating proof standards and abstract argumentation (pdf)
[bib]
Bas van Gijzel. MSc. thesis, Utrecht University, 2011.
Talks
- Relating, implementing and formalising argumentation models using the Curry-Howard correspondence and other functional techniques (pdf)
ISIS seminar at Utrecht University, Utrecht, The Netherlands, 2014.
- A principled approach to the implementation of argumentation models (pdf)
Fifth International Conference on Conference on Computational Models of Argument, Pitlochry, United Kingdom, 2014.
- A principled approach to the implementation of argumentation models (seminar version) (pdf)
Invited seminar University of Dundee/Aberdeen, Dundee/Aberdeen, United Kingdom, 2014.
- Tools of for the implementation of argumentation models (pdf)
2013 Imperial College Computing Student Workshop (ICCSW 2013), London, United Kingdom, 2013.
- Towards a framework for the implementation and verification of translations between argumentation models (pdf)
The 25th symposium on Implementation and Application of Functional Languages (IFL 2013), Berg en Dal, The Netherlands, 2013.
- Towards a framework for the implementation and verification of translations between argumentation models (pdf)
Advanced Course on Artificial Intelligence (ACAI-13), London, United Kingdom, 2013.
- Towards a framework for the implementation and verification of translations between argumentation models (Extended away day version) (pdf)
Functional Programming Laboratory Away Day, (near) Buxton, United Kingdom, 2013.
- Reasoning and conflict: How to structure your arguments (pdf)
Intensive Learning and Teaching Programme, Nottingham, United Kingdom, 2013.
- Haskell Gets Argumentative (pdf)
Trends in Functional Programming Symposium, St Andrews, United Kingdom, 2012.
- Having FUN with CATs and arguments (pdf)
Functional Programming Laboratory Away Day, Hathersage, United Kingdom, 2012.
- An embedded domain specific language for Carneades (pdf)
London Argumentation Forum, London, United Kingdom, 2012.
- Relating proof standards and abstract argumentation (pdf)
MSc. thesis talk, Utrecht, The Netherlands, 2011.
- Relating Carneades with abstract argumentation (pdf)
[Video (viewer)]
[Video (download)][Video (download mirror)]
International Joint Conference on Artificial Intelligence 2011, Barcelona, Spain.
- Relating Carneades with abstract argumentation (pdf)
London Argumentation Forum, London, United Kingdom, 2011.
Code
All code is now also available on GitHub! Patches and suggestions are always welcome!
- Haskell command line interface for ICCMA'15.
Available as a Cabal package on my GitHub, see the installation instructions!
Based on: Bas van Gijzel. Dungell: A reference implementation of Dung's argumentation frameworks in Haskell, submitted to ICCMA'15, 2015.
- Literate Haskell implementation of translation from Carneades into Dung.
Fully documented as a Cabal package, see the installation instructions!
Based on: Bas van Gijzel and Henry Prakken. Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation, Argument and Computation 3 (1), 21-47, 2012.
- Literate Haskell implementation of Dung.
Fully documented as a Cabal package, see the installation instructions!
Based on: Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games, Artificial Intelligence 77: 321-357, 1995.
- Literate Haskell implementation of Carneades.
Now improved and including installation instructions!
Based on: T.F. Gordon, and D. Walton. Proof burdens and standards, Argumentation in Artificial Intelligence, 239-260, 2009.
Teaching Activities
Current teaching:
- Machines and their Languages - G52MAL (Spring 2015)
Previous teaching at University of Nottingham:
- Compilers - G53CMP (Autumn 2014/2015)
- Functional Programming - G51FUN (Spring 2014)
- Machines and their Languages - G52MAL (Spring 2014)
- Mathematics for Computer Scientists - G51MCS (Autumn 2013/2014)
- Compilers (Head TA) - G53CMP (Autumn 2013/2014)
- Machines and their Languages - G52MAL (Spring 2013)
- Functional Programming - G51FUN (Spring 2013)
- Mathematics for Computer Scientists - G51MCS (Autumn 2012/2013)
- Compilers (Head TA) - G53CMP (Autumn 2012/2013)
- Functional Programming - G51FUN (Spring 2012)
- Machines and their Languages - G52MAL (Spring 2012)
- Compilers - G53CMP (Autumn 2011/2012)
Previous teaching at Utrecht University:
- Automatic Reasoning - INFOAR (2nd Quarter 2010/2011)
- Introduction to Adaptive Systems - CK1W0008 (4th Quarter 2009/2010)
Previous teaching at University of Twente:
- Compiler Construction - 211035 (4th Quarter 2008/2009)
Other activities
- Organiser:
- Functional Programming Laboratory Away Day 2012
- Treasurer:
- Cake Society (Cake Soc) 2012-2013
Personal Stuff
If you were looking for anything less researchy, you'll have to try a bit harder! Either add me to Google+ to find some cooking-related posts or google for my name combined with the keyword whiskey. Finally there's also my blag: A dose of logic, which is actually mostly research-related as well. You can find more slides and other, hopefully interesting stuff there, which I worked on during my previous studies.
Contact Information
LinkedIn -->
Address | Email | LinkedIn |
Office A02 | bmv AT cs DOT nott DOT ac DOT uk |
|
School of Computer Science |
University of Nottingham |
Jubilee Campus |
Wollaton Road |
Nottingham NG8 1BB |
United Kingdom |
Last update: 4th June, 2015