Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J. (2004). First order paths in ordered trees. Lecture Notes in Computer Science, 3363, 114-128.
  • Bezhanishvili, N., ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, & I. Pratt-Hartman (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 44-61).
  • ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory for hybrid logic. In A. Troelstra (Ed.), Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh (pp. 1-6)
  • Open Access
    Kamps, J., Marx, M. J., Mokken, R. J., & de Rijke, M. (2004). Using WordNet to measure semantic orientations of adjectives. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (Vol. IV, pp. 1115-1118). European Language Resources Association (ELRA). http://remote.science.uva.nl/~mdr/Publications/Files/lrec2004_wordnet.pdf
  • Fundulaki, I., & Marx, M. J. (2003). Mediation of XML Data through Entity Relationship Models. In Proceedings of the 1st International Workshop on Semantic Web and Databases
  • Blackburn, P., & Marx, M. J. (2003). Tableaux for Quantified Hybrid Logic. (Technical Reports; No. PP-2003-10). Institute for Logic, Language and Computation.
  • Blackburn, P., Gaiffe, B., & Marx, M. J. (2003). Variable free reasoning on finite trees. In Proceedings of Mathematics of Language (MOL-8)
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2003). Repairing the interpolation lemma in quantified modal logic. Annals of Pure and Applied Logic, 124, 287-299. https://doi.org/10.1016/S0168-0072(03)00059-9
  • Blackburn, P., & Marx, M. J. (2003). Constructive interpolation in hybrid logic. Journal of Symbolic Logic, 68(2), 463-480. https://doi.org/10.2178/jsl/1052669059
  • Kamps, J., Marx, M. J., de Rijke, M., & Sigurbjörnsson, B. (2003). XML retrieval: What to retrieve? In C. Clarke, G. Cormack, J. Callan, D. Hawking, & A. Smeaton (Eds.), Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 409-410). ACM Press.
Page 16 of 21