Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • 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.
  • Kurtonina, N., & de Rijke, M. (1999). Expressiveness of concept expressions in first-order description logics. Artificial Intelligence, 107, 303-333. https://doi.org/10.1016/S0004-3702(98)00109-X
  • Monz, C., & de Rijke, M. (1999). Proceedings of the First Workshop on Inference in Computational Semantics (ICoS-1). (ICoS; No. 1). ILLC.
  • Lemon, O., de Rijke, M., & Shimojima, A. (1999). Editorial: Visual logic, language and information. Journal of Logic, Language and Information, 8, 265-271.
Page 92 of 104