Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • 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.
  • Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2000). Tree-based heuristics in modal theorem proving. In ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence IOS Press.
  • Bouma, W., Accorsi, R., Areces, C. E., & de Rijke, M. (2000). Features as constraints. In Proceedings of FIW'2000
  • 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.
  • 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.
  • Aiello, M., Areces, C. E., & de Rijke, M. (1999). Spatial reasoning for image retrieval. In Proceedings of the International Workshop on Description Logics (DL'99), Linköping, Sweden (pp. 23-27)
  • de Rijke, M., & Sturm, H. (1999). Global vs. local in basic modal logic. In Proc. Nicht-klassische Formen der Logik im Rahmen des XVIII. Deutschen Kongresses für Philosophie
Page 92 of 104