BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 12.

    Article

    Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) On dynamic topological and metric logics. Studia Logica 84 (1), pp. 129-160. ISSN 0039-3215.

    Kontchakov, Roman and Kurucz, A. and Zakharyaschev, M. (2005) Undecidability of first-order intuitionistic and modal logics with two variables. The Bulletin of Symbolic Logic 11 (5), p. 428. ISSN 1079-8986.

    Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, M. (2004) Temporalising tableaux. Studia Logica 76 (1), pp. 91-134. ISSN 0039-3215.

    Book Section

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Complexity of reasoning in entity relationship models. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings 250. CEUR Workshop Proceedings.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, M. (2007) DL-Lite in the light of first-order logic. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence. AAAI Press, pp. 361-366.

    Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2007) Modularity in DL-Lite. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, M. (2007) Query answering in expressive variants of DL-Lite. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Bari : Università degli Studi, Dipartimento di Informatica, pp. 250-257. ISBN 9788890298103.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Reasoning over extended ER models. In: Parent, C. and Schewe, K.-D. and Storey, V.S. and Thalheim, B. (eds.) Conceptual Modeling, ER 2007: 26th International Conference on Conceptual Modeling. Lecture Notes in Computer Science 4801. Springer, pp. 277-292. ISBN 9783540755623.

    Artale, A. and Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, M. (2007) Temporalising tractable description logics. In: UNSPECIFIED (ed.) 14th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 11-22.

    Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) Dynamic topological logics over spaces with continuous functions. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6: Papers from the sixth conference on Advances in Modal Logic. College Publications, pp. 299-318.

    Hodkinson, I.M. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: UNSPECIFIED (ed.) 10th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 91-98. ISBN 0769519121.

    Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of spatio-temporal logics. In: Russell, I. and Haller, S.M. (eds.) Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, pp. 460-464.

    This list was generated on Mon Oct 18 05:47:37 2021 BST.