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)
  • Zakharyaschev, M., Segerberg, K., de Rijke, M., & Wansing, H. (2001). The Roots of Modality. In M. Rijke, de Zakharyaschev, & K. Wansing Segerberg (Eds.), Advances in Modal Logic, Vol. 2 CSLI Publications.
  • Alechina, N. A., Demri, S., & de Rijke, M. (2001). Path constraints from a modal logic point of view. In Proceedings KRDB 2001
  • de Rijke, M., Heguiabehere, J. M., & Infante Lopez, G. G. (2001). Structured problems for modal satisfiability testing. In C. Areces, & M. de Rijke (Eds.), Proceedings of M4M Workshop, 2001
  • 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.
  • 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
  • de Rijke, M., & Sturm, H. (2001). Global definability in basic modal logic. In H. Wansing (Ed.), Essays on Non-classical Logic (pp. 111-135). World Scientific Publishers.
Page 88 of 103