Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • 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
  • 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.
  • de Rijke, M., & Wansing, H. (2002). Proofs and expressiveness in alethic modal logic. In D. Jacquette (Ed.), A Companion to Philosophical Logic (pp. 422-441). Blackwell Publishing.
  • Areces, C. E., & de Rijke, M. (2002). From description to hybrid logic, and back. In Advances in Modal Logic 2002 (pp. 17-36)
  • Wolter, F., Zakharyaschev, M., de Rijke, M., & Wansing, H. (2002). Advances in Modal Logic, Volume 3. World Scientific. http://www.aiml.net/volumes/volume3/
  • Open Access
    Infante Lopez, G. G., de Rijke, M., & Sima'an, K. (2002). A General Probabilistic Model for Dependency Parsing. In Proceedings BNAIC'02 (pp. 139-146)
  • Open Access
    Areces, C. E., Infante Lopez, G. G., & de Rijke, M. (2002). Decomposing modal logic. In Proceedings of Advances in Modal Logic 2002
  • Open Access
    Kircz, J. G., Caracciolo, C., & de Rijke, M. (2002). Towards scientific information disclosure through concept hierarchies. In A. Baptista, J. Carvalho, & A. Huebler (Eds.), ELPUB Proceedings
  • Open Access
    Gennari, R. (2002). Mapping Inferences: Constraint Propagation and Diamond Satisfaction. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC Dissertation Series DS-2002-05.
  • O Nuallain, B., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings LICS 2001 Workshop on Theory and Applications of Satisfiability Testing
Page 87 of 103