Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Monz, C., & de Rijke, M. (2001). Tequesta: The University of Amsterdam's Textual Question-Answering System. In D. Harman, & E. Voorhees (Eds.), Notebook papers TREC-10 (pp. 513-522)
  • Areces, C. E., de Nivelle, J. M. G. G., & de Rijke, M. (2001). Resolution in modal, description and hybrid logic. Journal of Logic and Computation, 11(5), 717-736. https://doi.org/10.1093/logcom/11.5.717
  • Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. (Cambridge Tracts in Computer Science; No. 53). Cambridge University Press.
  • Monz, C., & de Rijke, M. (2001). Light-weight inference for computational semantics. In P. Blackburn, & M. Kohlhase (Eds.), Proceedings of the 3rd Workshop on Inference in Computational Semantics (ICoS-3) (pp. 59-72)
  • Monz, C., & de Rijke, M. (2001). The university of amsterdam at clef 2001. In Working Notes for the Cross Language Evaluation Forum Workshop (CLEF 2001) (pp. 165-169)
  • van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
  • de Rijke, M., & Heguiabehere, J. M. (2001). The random modal qbf test set. In Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics (pp. 58-67)
  • Stol, M. C., & de Rijke, M. (2001). Modal logic and local search. In In Proceedings Modal Logic in AI, 2001
  • Caracciolo, C., & de Rijke, M. (2001). Organizing and accessing online handbooks. In Philologien und Informationstechnologien (CLIP 2001)
  • Kröse, B. J. A., de Rijke, M., Schreiber, G., & van Someren, M. W. (Eds.) (2001). Proceedings BNAIC'01. Unknown Publisher.
Page 88 of 103