uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Areces, C.E. de Rijke, M. (2002) From description to hybrid logic, and back.
    In Advances in Modal Logic 2002 (pp 17-36)
    Chapter | UvA-DARE
  • Areces, 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-DARE
  • Areces, 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-DARE
  • Areces, 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-DARE
  • 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)
    Conference contribution | UvA-DARE
  • Areces, C.E. Heguiabehere, J.M. (2001) Hylores: Direct resolution for hybrid logics.
    In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001
    Conference contribution | UvA-DARE
  • Areces, C.E. Heguiabehere, J.M. (2002) Hylores: Direct resolution for hybrid logics.
    Lecture Notes in Computer Science (pp 156-160)
    Article | UvA-DARE
  • Areces, C.E. Heguiabehere, J.M. (2002) Direct resolution for modal-like logics.
    In Proceedings of the 3rd International Workshop on the Implementation of Logics
    Conference contribution | UvA-DARE
  • Areces, C.E. Heguiabehere, J.M. (2002) Hylores: A hybrid logic prover based on direct resolution.
    In Proceedings of Advances in Modal Logic
    Conference contribution | UvA-DARE
  • Areces, 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 Intelligence
    Conference contribution | UvA-DARE
  • Areces, 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-DARE
  • Areces, C.E. Heguiabehere, J.M. (2003) hGen: A random CNF formula generator for hybrid languages.
    In Proceedings of Methods for Modalities 3, September
    Conference contribution | UvA-DARE
  • Areces, C.E. Hoogland, E. de Jongh, D.H.J. (1999) Interpolation, definability and fixed points in interpretability logics.
    In Advances in Modal Logic
    Chapter | UvA-DARE
  • Areces, C.E. Hoogland, E. de Jongh, D.H.J. (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-DARE
  • Areces, C.E. Infante Lopez, G.G. de Rijke, M. (2002) Decomposing modal logic.
    In Proceedings of Advances in Modal Logic 2002
    Conference contribution | UvA-DARE
  • Areces, C.E. Lutz, C. (2002) Concrete domains and nominals united.
    In Proceedings of HYLO@LICS, 4th Workshop on Hybrid Logics. LICS 2002 Affiliated Workshop
    Conference contribution | UvA-DARE
  • Areces, C.E. Marx, M.J. Blackburn, P. (2000) The computational complexity of hybrid temporal logics.
    Logic Journal of the IGPL, Vol. 8 (pp 653-679)
    Article | UvA-DARE
  • Areces, C.E. Marx, M.J. (1997) Failure of interpolation.
    Technical report. University of Warwick.
    Report | UvA-DARE
  • Areces, C.E. Monz, C. de Nivelle, J.M.G.G. de Rijke, M. (1999) The guarded fragment: Ins and outs.
    In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.
  • Areces, C.E. (1998) AGM Functions.
    In Proc. of BR'98. Belief Revision Workshop (-)
    Chapter | UvA-DARE
1 ... 17 18 19 20 21 22 23 24 25 ... 309

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