Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Areces, C. E., & de Rijke, M. (1999). Workshop Proceedings Methods for Modalities. ILLC.
  • 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.
  • 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
  • Accorsi, R., Areces, C. E., & de Rijke, M. (1999). Towards feature interaction via stable models. In Proceedings WFM'99
  • Areces, C. E., Bouma, L. G., & de Rijke, M. (1999). Description logics and feature interaction. In Proceedings of the International Workshop on Description Logics (DL'99)
  • Areces, C. E., Bouma, W., & de Rijke, M. (1999). Feature interaction as a satisfiability problem. In Proc. MASCOTS'99 IEEE Press.
  • Areces, C. E., de Nivelle, J. M. G. G., & de Rijke, M. (1999). Prefixed resolution. In Proceedings CADE-16 Springer-Verlag.
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. Lecture Notes in Computer Science, 1617, 247-262. https://doi.org/10.1007/3-540-48754-9
  • Areces, C. E., Bouma, W., & de Rijke, M. (1999). Feature interaction as a satisfiability problem. In Proceedings of MASCOTS'99
Page 93 of 104