Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. In N. V. Murray (Ed.), Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings (pp. 247-262). (Lecture notes in computer science; No. 1617). Springer.
  • 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
  • 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
Page 92 of 103