Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • 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
  • de Rijke, M. (1999). Review of 'Deduction Systems' by R. Socher-Ambrosius and P. Johann. Journal of Logic, Language and Information, 8, 476-478.
  • 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.
  • Gabbay, D. M., & de Rijke, M. (1999). Frontiers of Combining Systems 2. Research Studies Press.
  • 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
Page 94 of 104