-
Areces, C.E., Blackburn, P., Martinez Hernandez, B., Marx, M. (2003) Handling Boolean ABoxes.In Calvanese, D. de Giacomo, C. Franconi, E. (Eds.), Proceedings of the 2003 Workshop on Description Logics (DL2003) (pp 48-55)Conference contribution | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (1999) A road-map on complexity for hybrid logics.In Rodriguez-Artalejo, M. Flum, J. (Eds.), Proceedings of the 8th Annual Conference of the EACSL (pp 307-321)Conference contribution | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (1999) Hybrid logic is the bounded fragment of first order logic.In Carnielli, W. de Queiroz, R. (Eds.), Proceedings of 6th workshop on logic, language , information and computation, WOLLIC99 (pp 33-50)Conference contribution | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (2000) The computational complexity of hybrid temporal logic.Technical Report. Institute for Logic Language and Computation.Working paper | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (2001) Repairing the interpolation lemma in quantified modal logic`.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (2001) Repairing the interpolation theorem in first-order modal logic.In Proceedinds of BNAIC 2001Conference contribution | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (2001) Hybrid logics: Characterization, interpolation and complexity.Journal of Symbolic Logic, Vol. 66 (pp 977-1010)Article | https://doi.org/10.2307/2695090 | UvA-DAREAreces, C.E., Blackburn, P., Marx, M. (2003) Repairing the interpolation lemma in quantified modal logic.Annals of Pure and Applied Logic, Vol. 124 (pp 287-299)Areces, C.E., Bouma, L.G., de Rijke, M. (1999) Description logics and feature interaction.In Proceedings of the International Workshop on Description Logics (DL'99)Conference contribution | UvA-DAREAreces, C.E., Bouma, W., de Rijke, M. (1999) Feature interaction as a satisfiability problem.In Proc. MASCOTS'99. IEEE Press.Conference contribution | UvA-DAREAreces, C.E., Bouma, W., de Rijke, M. (1999) Feature interaction as a satisfiability problem.In Proceedings of MASCOTS'99Conference contribution | UvA-DAREAreces, C.E., Bouma, W., de Rijke, M. (1999) Description logics and feature interaction.In Proceedings of the 1999 International Workshop on Description Logics (DL'98)Conference contribution | UvA-DAREml-1998-11, ILLC. WINS (oud WINS).Report | UvA-DAREIn Proc. of AiML98 Advances in modal logic (pp ---) (-). Uppsala University.Chapter | UvA-DAREAreces, C.E., de Nivelle, H., de Rijke, M. (2002) Resolution in Modal, Description and Hybrid Logic.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E., de Nivelle, J.M.G.G., de Rijke, M. (1999) Prefixed resolution.In Proceedings CADE-16. Springer-Verlag.Conference contribution | UvA-DAREAreces, C.E., de Nivelle, J.M.G.G., de Rijke, M. (2001) Resolution in modal, description and hybrid logic.Journal of Logic and Computation, Vol. 11 (pp 717-736)Article | https://doi.org/10.1093/logcom/11.5.717 | UvA-DAREAreces, C.E., de Rijke, M., Infante Lopez, G.G. (2002) Decomposing Modal Logic.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E., de Rijke, M. (1998) Expressiveness revisited.In de Giacomo, G. Franconi, E. MacGregor, R. Nutt, W. Welty, C. (Eds.), Proc. of the 1998 International workshop on descrition logics (pp 35-43) (-). Povo.Chapter | UvA-DAREAreces, C.E., de Rijke, M. (1998) interpolation and bisimulation in temporal logic.In Proc. of WoLLIC'98 Workshop of logic, language, information and computation (pp 15-21) (--)Chapter | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl
