Arampatzis, A., Robertson, S., Kamps, J. (2009) Score distributions in information retrieval.

In Azzopardi, L. Kazai, G. Robertson, S. Rüger, S. Shokouhi, M. Song, D. Yilmaz, E. (Eds.), Advances in Information Retrieval Theory: Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 : proceedings (pp 139-151) (Lecture Notes in Computer Science, Vol. 5766). Springer.

Arampatzis, A., van Kreveld, M., Reinbacher, I., Jones, C.B., Vaid, S., Clough, P., Joho, H., Sanderson, M. (2006) Web-based delineation of imprecise regions.

Computers, Environment and Urban Systems, Vol. 30 (pp 436-459)

Article | https://doi.org/10.1016/j.compenvurbsys.2005.08.001 | UvA-DARE

Arche, Maria, van Hout, Angeliek, Perovic, Alexandra, Quer, Josep, Schaeffer, J., Schulz, Petra (2025) Our Vision and Ambition for Language Needs.

Paper | UvA-DARE

Archer, M., Ravn, L., Bonde Thylstrup, N. (2025) The political economy of platformed silos: Theorizing data storage reconfigurations in the age of interoperability capitalism.

Big Data & Society, Vol. 12

Article | https://doi.org/10.1177/20539517241303144 | UvA-DARE

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.

Book (Editorship) | https://doi.org/10.1007/978-3-642-03092-5 | UvA-DARE

Areces, C., Bernardi, R., Moorgat, M. (2004) Galois connections in categorial type logic.

Electronic Notes in Theoretical Computer Science, Vol. 53 (pp 3-20)

Article | https://doi.org/10.1016/S1571-0661(05)82570-8 | UvA-DARE

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.

Areces, C.E., Becher, V. (1999) Update, the infinite case.

In Proceedings of WAIT'99, Buenos Aires, Argentina

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

Areces, C.E., Bernardi, R.B. (2001) Analyzing the core of categorial grammar.

In Proceedings of ICoS-3, Siena

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)

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)

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)

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)

Article | https://doi.org/10.2307/2695090 | UvA-DARE

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

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)

Article | https://doi.org/10.1016/S0168-0072(03)00059-9 | UvA-DARE

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)