Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • 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
    Montanari, A., & de Rijke, M. (1997). Two-sorted metric temporal logic. Theoretical Computer Science, 183, 187-214. https://doi.org/10.1016/S0304-3975(96)00324-6
  • Open Access
    Blackburn, P., & de Rijke, M. (1997). Why combine logics? Studia Logica, 59, 5-27.
  • Open Access
    Kurtonina, N., & de Rijke, M. (1997). Bisimulations for temporal logic. Journal of Logic, Language and Information, 6, 403-425.
  • Open Access
    Kurtonina, N., & de Rijke, M. (1997). Simulating without negation. Journal of Logic and Computation, 7, 503-524.
Page 97 of 104