Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • de Nivelle, H., & de Rijke, M. (2003). Deciding the guarded fragments by resolution. Journal of Symbolic Computation.
  • 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)
  • Jijkoun, V., Mishne, G., & de Rijke, M. (2003). Building infrastructure for Dutch question answering. In A. P. de Vries (Ed.), Proceedings DIR 2003
  • Open Access
    Heguiabehere, J. M. (2003). Building logic toolboxes. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Monz, C. (2003). From document retrieval to question answering. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Kamps, J., Marx, M. J., Monz, C., & de Rijke, M. (2002). Structure for information retrieval. In M. F. Moens, R. de Busser, & D. Hiemstra (Eds.), Proceedings of the Third Dutch Information Retrieval Workshop (DIR 2002) (pp. 19-26). Katholieke Universiteit Leuven.
  • Areces, C. E., de Rijke, M., & Infante Lopez, G. G. (2002). Decomposing Modal Logic. (Technical Report; No. PP-2002-14). Institute for Logic, Language and Computation.
  • Areces, C. E., de Nivelle, H., & de Rijke, M. (2002). Resolution in Modal, Description and Hybrid Logic. (Technical Reports; No. PP-2002-16). Institute for Logic, Language and Computation.
  • Bennet, B., Dixon, C., Fisher, M., Franconi, E., Horrocks, I., Hustadt, U., & de Rijke, M. (2002). Combinations of modal logics. Artificial Intelligence Review, 17, 1-20. https://doi.org/10.1023/A:1015057926707
Page 86 of 104