uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Archibald, M., Brattka, V., Goranko, V., Löwe, B. (2009) Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers.
    Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5489. Springer.
  • Areces, C., Bernardi, R., Moorgat, M. (2004) Galois connections in categorial type logic.
    Electronic Notes in Theoretical Computer Science, Vol. 53 (pp 3-20)
  • Areces, C.E., Becher, V., Ferro, S. (2000) Characterization Results for Formulas.
    In Cavedon, L. Blackburn, P. Braisby, N. Sima'an, K. (Eds.), Logic, Language and Computation (pp 49-66) (CSLI Publications). CSLI.
    Chapter | UvA-DARE
  • Areces, C.E., Becher, V. (1999) Update, the infinite case.
    In Proceedings of WAIT'99, Buenos Aires, Argentina
    Conference contribution | UvA-DARE
  • Areces, C.E., Bernardi, R.B., Moortgat, M. (2001) Galois connections in categorial type logic.
    In Proceedings of Mathematics of Language and Formal Grammar, Helsinki, Finland, Augustus 2001
    Conference contribution | UvA-DARE
  • Areces, C.E., Bernardi, R.B. (2001) Analyzing the core of categorial grammar.
    In Proceedings of ICoS-3, Siena
    Conference contribution | UvA-DARE
  • Areces, C.E., Bernardi, R.B. (2001) Analyzing the Core of Categorial Grammar.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • 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-DARE
  • Areces, 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-DARE
  • Areces, 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-DARE
  • Areces, 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-DARE
  • Areces, C.E., Blackburn, P., Marx, M. (2001) Hybrid logics: Characterization, interpolation and complexity.
    Journal of Symbolic Logic, Vol. 66 (pp 977-1010)
  • Areces, 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-DARE
  • Areces, C.E., Blackburn, P., Marx, M. (2001) Repairing the interpolation theorem in first-order modal logic.
    In Proceedinds of BNAIC 2001
    Conference contribution | UvA-DARE
  • Areces, 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-DARE
  • Areces, C.E., Bouma, W., de Rijke, M. (1999) Feature interaction as a satisfiability problem.
    In Proc. MASCOTS'99. IEEE Press.
    Conference contribution | UvA-DARE
  • Areces, C.E., Bouma, W., de Rijke, M. (1999) Feature interaction as a satisfiability problem.
    In Proceedings of MASCOTS'99
    Conference contribution | UvA-DARE
  • Areces, 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-DARE
  • Areces, C.E., de Jongh, D., Hoogland, E. (1998) The interpolation theorem for IL and ILP.
    In Proc. of AiML98 Advances in modal logic (pp ---) (-). Uppsala University.
    Chapter | UvA-DARE
1 ... 17 18 19 20 21 22 23 24 25 ... 337

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