Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Ahn, D. D., Fissaha Adafre, S., Jijkoun, V., & de Rijke, M. (2004). The University of Amsterdam at Senseval-3: Semantic Roles and Logic Forms. In R. Mihalcea, & P. Edmonds (Eds.), Proceedings of Senseval-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text (pp. 49-53)
  • Blackburn, P., de Rijke, M., & Venema, Y. (2004). Modal logic. (Cambridge tracts in theoretical computer science; No. 53). Cambridge University Press.
  • Franceschet, M., Montanari, A., & de Rijke, M. (2004). Model checking for combined logics with an application to mobile systems. Automated Software Engineering, 11, 289-321.
  • Infante-Lopez, G. G., & de Rijke, M. (2004). Alternative approaches for generating bodies of grammar rules. In Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004) (pp. 454-461)
  • Ahn, D. D., Fissaha Adafre, S., Jijkoun, V., & de Rijke, M. (2004). The University of Amsterdam at Senseval-3: Semantic Roles and Logic Forms. In Proceedings of Senseval-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text (pp. 49-53). Association for Computational Linguistics.
  • Ahn, D. D., Jijkoun, V., Kamps, J., Mishne, G. A., Müller, K. E., de Rijke, M., & Schlobach, K. S. (2004). The University of Amsterdam at TREC 2004. In TREC 2004 Conference Notebook (pp. 43-56).
  • Brand, S., Gennari, R., & de Rijke, M. (2004). Constraint methods for modal satisfiability. Lecture Notes in Computer Science, 3010, 66-86.
  • Caracciolo, C., van Hage, W. R., & de Rijke, M. (2004). Towards topic driven access to full text documents. In Proceedings of the 8th European Conference on Digital Libraries (ECDL 2004) (pp. 495-500). Springer.
  • Infante Lopez, G. G., & de Rijke, M. (2004). Alternative approaches for generating bodies of grammar rules. In Proceedings 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004) (pp. 454-461)
  • Franceschet, M., Montanari, A., & de Rijke, M. (2004). Model checking for combined logics with an application to mobile systems. Automated Software Engineering, 11, 289-321.
Page 78 of 104