Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • 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/
  • 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
  • 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.
  • 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