Marx, M. J., Kamps, J., & de Rijke, M. (2002). The University of Amsterdam at INEX-2002. In N. Fuhr, N. Gövert, G. Kazai, & M. Lalmas (Eds.), INEX 2002 Workshop Proceedings (pp. 24-28)
Monz, C., Kamps, J., & de Rijke, M. (2002). The University of Amsterdam at CLEF 2002. In Working Notes for the CLEF 2002 Workshop (pp. 73-84)
Monz, C., Kamps, J., & de Rijke, M. (2002). The University of Amsterdam at TREC 2002. In E. M. Voorhees, & D. K. Harman (Eds.), The Eleventh Text Retrieval Conference (TREC 2002)
Kamps, J., Marx, M. J., Monz, C., & de Rijke, M. (2002). Exploiting structure for information retrieval. In M. F. Moens, R. de Busser, D. Hiemstra, & W. Kraaij (Eds.), Proceedings of the Third Dutch Belgian Information Retrieval Workshop (DIR-2002) (pp. 19-26). K.U. Leuven.
Blackburn, P., Kamps, J., & Marx, M. J. (2001). Situation calculus as hybrid logic: First steps. In P. Brazdil, & A. Jorge (Eds.), Progress in Artificial Intelligence (pp. 253-260). (Lecture Notes in Artificial Intelligence; No. 2258). Springer Verlag.
Kamps, J. (2000). A logical approach to computational theory building : with applications to sociology. [Thesis, internally prepared, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Polos, L., & Kamps, J. (1997). Towards a formal theory of organizations in action. vakgroep methoden en technieken.
Kamps, J. (1997). A logical formalization of Hopkins (The Formalizing organizational ecology). vakgroep methoden en technieken.
Kamps, J. (1997). Model generation and theory building: a case study of Hage's axiomatic theory of organizations. In U. Furbach (Ed.), IJCAI-97 Workshop-Based Automated Teasoning (pp. 63-72)
Kamps, J. (1997). Logic in organization theory. Logic in the Netherlands, 1(2), 11-12.
