Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • de Rijke, M. (2000). Modal experiments. In Proceedings Automated Reasoning Workshop 2000 King's College London.
  • Areces, C. E., & de Rijke, M. (2000). Description and/or hybrid logics. In Proceedings of AiML 2000
  • Areces, C. E., Franconi, E., GorĂ©, R., de Rijke, M., & Schlingloff, H. (2000). Methods for Modalities I. Special issue of Logic Journal of the IGPL dedicated to M4M-I, volume 8, issue 3, 2000. Cambridge University Press.
  • Areces, C. E., Franconi, E., GorĂ©, R., de Rijke, M., & Schlingloff, H. (2000). Editorial: Use your logic. Logic Journal of the IGPL, 8, 231-237.
  • Monz, C., & de Rijke, M. (2000). Inference in Computational Semantics I. Special issue of Journal of Language and Computation dedicated to ICoS-1, vol.1, issue 2. Unknown Publisher.
  • Monz, C., Ragetli, H. J. N., & de Rijke, M. (2000). Concept-based computer-aided link generation for electronic handbooks. In Workshop Proceedings Dutch Information Retrieval Workshop
  • Monz, C., & de Rijke, M. (2000). Editorial: Inference in Computational Semantics. Journal of Language and Computation, 2, 159-165.
  • Bouma, W., Accorsi, R., Areces, C. E., & de Rijke, M. (2000). Features as constraints. In Proceedings of FIW'2000
  • Open Access
    Areces, C. E. (2000). Logic Engineering. The Case of Description and Hybrid Logics. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertation series 2000-05.
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. In N. V. Murray (Ed.), Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings (pp. 247-262). (Lecture notes in computer science; No. 1617). Springer.
Page 91 of 103