Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Brand, S., Gennari, R., & de Rijke, M. (2003). Constraint programming for modelling and solving modal satisfiability. In Proceedings International Conference on Principles and Practice of Constraint Programming (CP 2003)
  • Brand, S., Gennari, R., & de Rijke, M. (2003). Modelling modal satisfiability in constraint logic programming.
  • Franceschet, M., de Rijke, M., & Schlingoff, B.-H. (2003). Hybrid logic on linear structures: expressivity and complexity. In Proceedings TIME-ICTL IEEE Computer Society Press.
  • Franceschet, M., & de Rijke, M. (2003). Model checking for hybrid logics. In Proceedings M4M-3
  • Kamps, J., Monz, C., & de Rijke, M. (2003). Combining evidence for cross-lingual information retrieval. In C. Peters, M. Braschler, & J. Gonzalo (Eds.), Advances in Cross-language information retrieval: third workshop of the Cross-Language evaluation forum, CLEF 2002, Rome, Italy, September 19-20, 2002: revised papers (pp. 111-126). (Lecture notes in computer science; No. 2785). Springer.
  • Kamps, J., Monz, C., de Rijke, M., & Sigurbjörnsson, B. (2003). The University of Amsterdam at CLEF 2003. In C. Peters (Ed.), Working notes for the CLEF 2003 Workshop (pp. 71-78)
  • Kamps, J., Monz, C., de Rijke, M., & Sigurbjörnsson, B. (2003). Monlingual document retrieval: English versus other European languages. In A. P. de Vries (Ed.), Proceedings DIR 2003 (pp. 35-39)
  • Kamps, J., Monz, C., de Rijke, M., & Sigurbjörnsson, B. (2003). Approaches to robust and web retrieval. In Proceedings TREC 2003 (pp. 594-600)
  • Brand, S., Gennari, R., & de Rijke, M. (2003). Finite CSP solvers for modal satisfiability. In Proceedings M4M-3
  • 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)
Page 83 of 103