Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • 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
  • Areces, C. E., Bouma, W., & de Rijke, M. (1999). Description logics and feature interaction. In Proceedings of the 1999 International Workshop on Description Logics (DL'98)
  • de Rijke, M. (1999). Combining reasoning systems. In Proc. Automated Reasoning '99
  • Lemon, O., de Rijke, M., & Shimojima, A. (1999). Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information, 8(3), 265-400. https://link.springer.com/journal/10849/8/3/page/1
  • Open Access
    Areces, C. E., Monz, C., de Nivelle, J. M. G. G., & de Rijke, M. (1999). The guarded fragment: Ins and outs. In J. D. Gerbrandy et al. (Ed.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday Vossiuspers - Amsterdam University Press. http://www.illc.uva.nl/ j50
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. ILLC, University of Amsterdam.
Page 94 of 104