Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Stol, M. C., & de Rijke, M. (2001). Modal logic and local search. In In Proceedings Modal Logic in AI, 2001
  • Caracciolo, C., & de Rijke, M. (2001). Organizing and accessing online handbooks. In Philologien und Informationstechnologien (CLIP 2001)
  • Kröse, B. J. A., de Rijke, M., Schreiber, G., & van Someren, M. W. (Eds.) (2001). Proceedings BNAIC'01. Unknown Publisher.
  • Alechina, N. A., Demri, S., & de Rijke, M. (2001). Path constraints from a modal logic point of view. In Proceedings KRDB 2001
  • de Rijke, M., Heguiabehere, J. M., & Infante Lopez, G. G. (2001). Structured problems for modal satisfiability testing. In C. Areces, & M. de Rijke (Eds.), Proceedings of M4M Workshop, 2001
  • Areces, C. E., de Nivelle, J. M. G. G., & de Rijke, M. (2001). Resolution in modal, description and hybrid logic. Journal of Logic and Computation, 11(5), 717-736. https://doi.org/10.1093/logcom/11.5.717
  • Open Access
    de Rijke, M. (2001). Computing with Meaning. In Logic in Action ILLC.
  • Open Access
    de Rijke, M. (2001). review of Handbook of Tableau Methods [Review of: M. D'Agostino, D.M. Gabbay. Handbook of Tableau Methods]. Journal of Logic, Language and Information, 10, 518-523.
  • Open Access
    de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9 Elsevier Science Publishers.
  • Areces, C. E., Franconni, E., Gore, R., de Rijke, M., & Schlingoff, H. (2000). Editorial. In C. E. Areces, E. Franconni, & R. Gore (Eds.), Methods for modalities 1 (pp. 231-237). (Logic journal of the IGPL; No. 8 : 3).
Page 90 of 104