Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Areces, C. E., & de Rijke, M. (1999). Workshop Proceedings Methods for Modalities. ILLC.
  • de Rijke, M. (1999). Review of 'Deduction Systems' by R. Socher-Ambrosius and P. Johann. Journal of Logic, Language and Information, 8, 476-478.
  • 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
  • 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
Page 93 of 103