Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Areces, C. E., Blackburn, P., Martinez Hernandez, B., & Marx, M. J. (2003). Handling Boolean ABoxes. In D. Calvanese, C. de Giacomo, & E. Franconi (Eds.), Proceedings of the 2003 Workshop on Description Logics (DL2003) (pp. 48-55)
  • Marx, M. J. (2003). XPath and modal logics of finite DAG's. In M. Mayer, & F. Pirri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods (Proc. TABLEAUX 2003), volume 2796 of LNAI (pp. 150-164). Springer.
  • Bezhanishvili, N., & Marx, M. J. (2003). All proper normal extensions of s5-squared have the polynomial size model property. Studia Logica, 73, 367-382.
  • Marx, M. J., & Masuch, J. M. F. (2003). Regular equivalence and dynamic logic. Social Networks, 25(1), 51-65. https://doi.org/10.1016/S0378-8733(02)00036-9
  • Blackburn, P., & Marx, M. J. (2002). Constructive Interpolation in Hybrid Logic. (Technical Reports; No. PP-2002-12). Institute for Logic, Language and Computation.
  • Marx, M. J., & Masuch, M. (2002). Regular Equivalence and Dynamic Logic. (Technical Reports; No. PP-2002-02). Institute for Logic, Language and Computation.
  • Blackburn, P., & Marx, M. J. (2002). Tableaux for quantified hybrid logic. Lecture Notes in Computer Science, 2381, 38-52.
  • Kamps, J., Marx, M. J., Monz, C., & de Rijke, M. (2002). Exploiting structure for information retrieval. In M. F. Moens, R. de Busser, D. Hiemstra, & W. Kraaij (Eds.), Proceedings of the Third Dutch Belgian Information Retrieval Workshop (DIR-2002) (pp. 19-26). K.U. Leuven.
  • Kamps, J., & Marx, M. J. (2002). Notions of indistinguishability for semantic web languages. Lecture Notes in Computer Science, 2342, 30-38.
  • Kamps, J., & Marx, M. J. (2002). Words with attitude. In H. Blockeel, & M. Deneker (Eds.), BNAIC'02: Proceedings of the 14th Belgian-Netherlands Conference on Artificial Intelligence (pp. 449-450)
Page 17 of 21