Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • 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.
  • Gabbay, D. M., & de Rijke, M. (1999). Frontiers of Combining Systems 2. Research Studies Press.
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. (Technical Report ILLC; No. PP-99-14). vg logic/info (oud WINS).
  • Moss, L., Ginzburg, J., & de Rijke, M. (1999). Logic, Language and Computation. (Vol. 2). CSLI Publications.
  • Gerbrandy, J. D., Marx, M. J., de Rijke, M., & Venema, Y. (1999). JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.
  • de Rijke, M., Areces, C. E., & de Nivelle, J. M. G. G. (1999). Prefixed Resolution: A Resolution Method for Modal and Description Logic. In H. Ganzinger (Ed.), Automated Deduction-CADE-16 (pp. 187-201). (LNCS; No. 1632). Springer Verlag.
  • 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 103