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.
Kamps, J. (1997). Computational support for logical formalization. In Carley (Ed.), Proceedings of the 7th Annual Workshop on Computational and Mathematical Organization Theory (pp. 14-15)
Kamps, J. (1997). Formal theory building using automated reasoning tools. In L. K. Shubert, A. G. Cohn, & S. C. Sharpio (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference
