Bas van Gijzel

According to our database, Bas van Gijzel authored at least 7 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A framework for relating, implementing and verifying argumentation models and their translations.

Bas van Gijzel

PhD thesis, 2016

2014

A principled approach to the implementation of argumentation models.

Bas van Gijzel, Henrik Nilsson

Proceedings of the Computational Models of Argument, 2014

2013

Towards a framework for the implementation and verification of translations between argumentation models.

Bas van Gijzel, Henrik Nilsson

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Tools for the implementation of argumentation models.

Bas van Gijzel

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

2012

Relating Carneades with abstract argumentation via the ASPIC⁺ framework for structured argumentation.

Bas van Gijzel, Henry Prakken

Argument Comput., 2012

Haskell Gets Argumentative.

Bas van Gijzel, Henrik Nilsson

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2011

Relating Carneades with Abstract Argumentation.

Bas van Gijzel, Henry Prakken

Proceedings of the IJCAI 2011, 2011