2017, Article in monograph or in proceedings (Antti, H. (ed.), Proceedings of The 3rd International Workshop on Advanced Methodologies for Bayesian Networks, 20-22 September 2017, pp. 141--152)
2016, Article in monograph or in proceedings (Kambhampati, S. (ed.), IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence New York, New York, USA 9–15 July 2016, pp. 3616-3622)
2014, Article in monograph or in proceedings (Grootjen, F.; Otworoska, M.; Kwisthout, J. (ed.), Benelux Conference on Artificial Intelligence (BNAIC) 2014 : Proceedings of the 26th Benelux Conference on Artificial Intelligence, Nijmegen, 6-7 November 2014, pp. 187-188)
2014, Part of book or chapter of book (Schaub, T. (ed.), ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Includi Proceedings, pp. 621-626)
2013, Article in monograph or in proceedings (Lai, L. Lei (ed.), 2013 IEEE International Conference on Systems, Man, and Cybernetics SMC 2013 : Proceedings, pp. 663-668)
2013, Article in monograph or in proceedings (Rossi, F. (ed.), IJCAI-13: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Beijing, China, 3–9 August 2013, pp. 2540-2543)
2012, Part of book or chapter of book (Zsok, V. (ed.), Central European Functional Programming School : 4th Summer School, CEFP2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers, pp. 46-92)
2012, Part of book or chapter of book (Thielscher, M. (ed.), AI 2012: Advances in Artificial Intelligence, 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings, pp. 890-901)
2012, Article in monograph or in proceedings (PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, pp. 195-206)
2011, Article in monograph or in proceedings (Hage, J.; Morazán, M.T. (ed.), Proceedings of the 22nd International Symposium on the Implementation and Application of Functional Languages, IFL '10, Selected Papers, Alphen aan den Rijn, The Netherlands, 2011, pp. 153-168)
2011, Article in monograph or in proceedings (Brabrand, C. (ed.), LDTA'11 : Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, pp. 1-7)
2009, Article in monograph or in proceedings (Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 1-12)