Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • 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
  • de Rijke, M., & Heguiabehere, J. M. (2001). The random modal qbf test set. In Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics (pp. 58-67)
  • 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.
  • 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
  • de Rijke, M., & Sturm, H. (2001). Global definability in basic modal logic. In H. Wansing (Ed.), Essays on Non-classical Logic (pp. 111-135). World Scientific Publishers.
  • Monz, C., & de Rijke, M. (2001). Deductions with meaning. In M. Moortgat (Ed.), Logical Aspects in Computational Linguistics (pp. 1-10). (LNAI; No. 2014). Springer.
  • Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2001). Tree-based heuristics in modal theorem proving (abstract). In Proceedings of BNAIC 2001 (pp. 31-32).
  • Stol, M. C., & de Rijke, M. (2001). Adaptive model generation for modal logic. In Proceedings of BNAIC 2001 (pp. 241-248).
Page 89 of 104