| 2002 | |
| [2] | Relating functionality descriptions to proof rules of input/output logic. , In Proceedings of BNAIC 2002, 2002. [bib] [pdf] |
| 2001 | |
| [1] | An alternative classification of agent types based on BOID conflict resolution , In Proceedings of the 13th Belgium-Netherlands Artificial Intelligence Conference (B. Kröse, M. de Rijke, G. Schreiber, M. van Someren, eds.), 2001. [bib] [pdf] |