Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • Brand, S., Gennari, R., & de Rijke, M. (2003). Constraint programming for modelling and solving modal satisfiability. In F. Rossi (Ed.), Proceedings of Principles and Practice of Constraint Programming (CP), volume 2833 of LNCS (pp. 795-800). Springer-Verlag.
  • Kamps, J., Marx, M. J., de Rijke, M., & Sigurbjörnsson, B. (2003). XML retrieval: What to retrieve? In C. Clarke, G. Cormack, J. Callan, D. Hawking, & A. Smeaton (Eds.), Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 409-410). ACM Press.
  • Kamps, J., Monz, C., de Rijke, M., & Sigurbjörnsson, B. (2003). Monolingual document retrieval: English versus other European languages. In A. P. de Vries (Ed.), Proceedings of the 4th Dutch-Belgian Information Retrieval Workshop (DIR 2003) (pp. 35-39)
  • Franceschet, M., & de Rijke, M. (2003). Model checking for hybrid logics. In Proceedings of the Workshop Methods for Modalities (pp. 109-124)
  • Franceschet, M., de Rijke, M., & Schlingloff, H. (2003). Hybrid logics on linear structures: expressivity and complexity. In Proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic IEEE Computer Society Press.
  • Kamps, J., de Rijke, M., & Sigurbjörnsson, B. (2003). The University of Amsterdam at INEX 2003. In L. Mounia Fuhr, Norbert, & Saadia Malik (Eds.), INEX 2003 Workshop Proceedings (pp. 80-86)
  • Jijkoun, V., Kamps, J., Mishne, G. A., Monz, C., de Rijke, M., Schlobach, K. S., & Tsur, O. (2003). The University of Amsterdam at TREC 2003. In TREC 2003 Working Notes. National Institute for Standards and Technology
  • Infante-Lopez, G. G., Areces, C., & de Rijke, M. (2003). Controlled model exploration. In P. Balbiani, N.-Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic 4 (pp. 205-220). King's College Publications. http://www.aiml.net/volumes/volume4/
  • Bernardi, R., Jijkoun, V., Mishne, G., & de Rijke, M. (2003). Selectively using linguistic resources throughout the question answering pipeline. In Proceedings 2nd CoLogNET-ElsNET Symposium
  • Jijkoun, V., Mishne, G., Monz, C., de Rijke, M., Schlobach, S., & Tsur, O. (2003). The University of Amsterdam at the TREC 2003 Question Answering Track. In Proceedings TREC 2003 (pp. 586-593)
Page 85 of 104