Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Kamps, J., & Marx, M. J. (2002). Notions of indistinguishability for semantic web languages. Lecture Notes in Computer Science, 2342, 30-38.
  • Kamps, J., & Marx, M. J. (2002). Words with attitude. In H. Blockeel, & M. Deneker (Eds.), BNAIC'02: Proceedings of the 14th Belgian-Netherlands Conference on Artificial Intelligence (pp. 449-450)
  • Marx, M. J. (2002). Narcissists, stepmothers and spies. In Proceedings of the 2002 International Workshop on Description Logic workshop
  • Marx, M. J., & Dastani, M. M. (2002). Anaphoric definitions in description logic. Lecture Notes in Computer Science, 2510, 410-417.
  • Marx, M. J., Kamps, J., & de Rijke, M. (2002). The University of Amsterdam at INEX-2002. In N. Fuhr, N. Gövert, G. Kazai, & M. Lalmas (Eds.), INEX 2002 Workshop Proceedings (pp. 24-28)
  • Blackburn, P., & Marx, M. J. (2002). Tableaux for quantified hybrid logic. Lecture Notes in Computer Science, 2381, 38-52.
  • Kamps, J., Marx, M. J., Monz, C., & de Rijke, M. (2002). Exploiting structure for information retrieval. In M. F. Moens, R. de Busser, D. Hiemstra, & W. Kraaij (Eds.), Proceedings of the Third Dutch Belgian Information Retrieval Workshop (DIR-2002) (pp. 19-26). K.U. Leuven.
  • Marx, M. J. (2001). Relation Algebra with Binders. (Technical Reports; No. PP-2001-04). Institute for Logic, Language and Computation.
  • Blackburn, P., & Marx, M. J. (2001). Quantified hybrid logic and natural language. In Proceedings Amsterdam Colloquium 2001
  • Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001
Page 18 of 21