Kamps, J., & Marx, M. J. (2002). Words with attitude. In H. Blockeel, & M. Deneker (Eds.), BNAIC'02: Proceedings of the 14th Belgian-Netherlands Conference on Artificial Intelligence (pp. 449-450)
Kamps, J., Monz, C., & de Rijke, M. (2002). Combining morphological and ngram evidence for monolingual document retrieval. In M. F. Moens, R. De Busser, D. Hiemstra, & W. Kraaij (Eds.), Proceedings of the Third Dutch Information Retrieval Workshop (DIR 2002) (pp. 47-51)
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)
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)
