Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • van der Hoek, W., & de Rijke, M. (1997). Sahlqvist's theorem. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Academic Publishers.
  • Blackburn, P., de Rijke, M., & Venema, Y. (1997). Relational methods in logic, language and information. In W. Kahl, C. Brink, & G. Schmidt (Eds.), Relational Methods in Computer Science (pp. 211-225). Springer-Verlag.
  • Blackburn, P., Jaspars, J., & de Rijke, M. (1997). Reasoning about changing information. South African Computer Journal, 19, 2-26.
  • Kurtonina, N., & de Rijke, M. (1997). Classifying description logics. In M.-C. Rousset (Ed.), Proc. International Workshop on Description Logics (DL'97) (pp. 49-53)
  • de Rijke, M. (1997). Advances in Intensional Logic. (Applied Logic Series). Kluwer Academic Publishers.
  • Kurtonina, N., & de Rijke, M. (1997). Expressiveness of first-order description logics. (Research Report; No. RR325). University of Warwick.
  • Beerends, R. J., Haven, A. S., Lodder, J., Mulder, H. M., de Rijke, M., & Thijsse, E. G. C. (1997). Bewijzen. In Discrete Wiskunde I Open Universiteit.
  • D'Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., & Wooldridge, M. (1997). Formalisms for multi-agent systems. Knowledge Engineering Review, 12, 315-321. https://doi.org/10.1017/S0269888997003068
  • van der Hoek, W., & de Rijke, M. (1997). Sahlqvist identities. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Academic Publishers.
  • Open Access
    Kurtonina, N., & de Rijke, M. (1997). Bisimulations for temporal logic. Journal of Logic, Language and Information, 6, 403-425.
Page 96 of 103