Travelled to:1 × The Netherlands
Collaborated with:H.Nilsson
Talks about:implement (1) framework (1) translat (1) argument (1) between (1) toward (1) verif (1) model (1)
Person: Bas van Gijzel
DBLP: Gijzel:Bas_van
Contributed to:
2013Wrote 1 papers:
- IFL-2013-GijzelN #framework #implementation #modelling #towards #verification
- Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.