-
Areces, C.E., de Rijke, M. (1999) Workshop Proceedings Methods for Modalities.ILLC.Book (Editorship) | UvA-DARE
-
Areces, C.E., de Rijke, M. (2000) Description and/or hybrid logics.In Proceedings of AiML 2000Conference contribution | UvA-DAREAreces, C.E., de Rijke, M. (2002) From description to hybrid logic, and back.In Advances in Modal Logic 2002 (pp 17-36)Chapter | UvA-DAREAreces, 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.Book (Editorship) | UvA-DAREAreces, C.E., Franconi, E., Goré, R., de Rijke, M., Schlingloff, H. (2000) Editorial: Use your logic.Logic Journal of the IGPL, Vol. 8 (pp 231-237)Article | UvA-DAREAreces, 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.Conference contribution | UvA-DAREAreces, 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)Conference contribution | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2001) Hylores: Direct resolution for hybrid logics.In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001Conference contribution | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2002) Hylores: Direct resolution for hybrid logics.Lecture Notes in Computer Science (pp 156-160)Article | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2002) Direct resolution for modal-like logics.In Proceedings of the 3rd International Workshop on the Implementation of LogicsConference contribution | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2002) Hylores: A hybrid logic prover based on direct resolution.In Proceedings of Advances in Modal LogicConference contribution | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2002) Hylores: A hybrid logic prover based on direct resolution (system demo).In Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial IntelligenceConference contribution | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2002) HyLoRes: A Hybrid Logic Prover Based on Direct Resolution.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E., Heguiabehere, J.M. (2003) hGen: A random CNF formula generator for hybrid languages.In Proceedings of Methods for Modalities 3, SeptemberConference contribution | UvA-DAREAreces, C.E., Hoogland, E., de Jongh, D. (1999) Interpolation, definability and fixed points in interpretability logics.In Advances in Modal LogicChapter | UvA-DAREAreces, C.E., Hoogland, E., de Jongh, D. (2000) Interpolation, Definability and Fixed Points in Interpretability Logics.In Segerberg, K. Zakharyaschev, M. de Rijke, M. Wansing, H. (Eds.), Advances in Modal Logic (pp 35-58) (CSLI Publications). CSLI.Chapter | UvA-DAREAreces, C.E., Infante Lopez, G.G., de Rijke, M. (2002) Decomposing modal logic.In Proceedings of Advances in Modal Logic 2002Conference contribution | UvA-DAREAreces, C.E., Lutz, C. (2002) Concrete domains and nominals united.In Proceedings of HYLO@LICS, 4th Workshop on Hybrid Logics. LICS 2002 Affiliated WorkshopConference contribution | UvA-DAREAreces, C.E., Marx, M., Blackburn, P. (2000) The computational complexity of hybrid temporal logics.Logic Journal of the IGPL, Vol. 8 (pp 653-679)Article | UvA-DAREAreces, C.E., Marx, M. (1997) Failure of interpolation.Technical report. University of Warwick.Report | 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
