Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Open Access
    de Rijke, M. (2001). Computing with Meaning. In Logic in Action ILLC.
  • 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).
  • Bouma, W., Accorsi, R., Areces, C. E., & de Rijke, M. (2000). Features as constraints. In Proceedings of FIW'2000
  • Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2000). Tree-based heuristics in modal theorem proving. In ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence IOS Press.
  • Areces, C. E., & de Rijke, M. (2000). Description and/or hybrid logics. In Proceedings of AiML 2000
  • Areces, C. E., Franconi, E., GorĂ©, R., de Rijke, M., & Schlingloff, H. (2000). Methods for Modalities I. Special issue of Logic Journal of the IGPL dedicated to M4M-I, volume 8, issue 3, 2000. Cambridge University Press.
  • Areces, C. E., Franconi, E., GorĂ©, R., de Rijke, M., & Schlingloff, H. (2000). Editorial: Use your logic. Logic Journal of the IGPL, 8, 231-237.
  • Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Automatic wrapper generation for web search engines. Lecture Notes in Computer Science.
  • Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Wrapper generation via grammar induction. Lecture Notes in Computer Science, 1810.
  • Franceschet, M., Montanari, A., & de Rijke, M. (2000). Model Checking for combined logics. In Workshop Proceedings ICTL 2000
Page 90 of 103