-
Arampatzis, A., Kamps, J., Koolen, M.H.A., Nussbaum, N. (2007) MuSeUM: Unified Access to the State of the Art.In Proceedings of the Seventh Dutch-Belgian Workshop on Information Retrieval (DIR 2007)Conference contribution | UvA-DARE
-
Arampatzis, A., Kamps, J., Robertson, S. (2009) Where to stop reading a ranked list? Threshold optimization using truncated score distributions.In Sanderson, M. Zhai, C. Zobel, J. Allan, J. Aslam, J.A. (Eds.), Proceedings: 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval: SIGIR 2009, Boston, Massachusetts, July 19-23, 2009 (pp 524-531). ACM Press.Conference contribution | http://doi.acm.org/10.1145/1571941.1572031 | UvA-DARE
-
Arampatzis, A., Kamps, J. (2008) A study of query length.In Myaeng, S.-H. Oard, D.W. Sebastiani, F. Chua, T.-S. Leong, M.-K. (Eds.), ACM SIGIR 2008: Thirty-first Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, July 20-24, 2008, Singapore: Proceedings (pp 811-812). Association for Computing Machinery (ACM).Conference contribution | http://doi.acm.org/10.1145/1390334.1390517 | UvA-DARE
-
Arampatzis, A., Kamps, J. (2009) A signal-to-noise approach to score normalization.In Cheung, D. Song, I.-Y. Chu, W. Hu, X. Lin, J. Li, J. Peng, Z. (Eds.), Proceedings of the 18th ACM Conference on Information and Knowledge Management (CIKM 2009) (pp 797-806). ACM Press.Conference contribution | http://doi.acm.org/10.1145/1645953.1646055 | UvA-DARE
-
Arampatzis, A., Kamps, J. (2009) Where to stop reading a ranked list?.In Voorhees, E.M. Buckland, L.P. (Eds.), The seventeenth Text REtrieval Conference (TREC 2008) proceedings. National Institute of Standards and Technology.Conference contribution | http://trec.nist.gov/pubs/trec17/papers/uamsterdam-kamps.legal.rev.pdf | UvA-DARE
-
Arampatzis, A., Kamps, J. (2010) Simulating signal and noise queries for score normalization in distributed IR.In Proceedings of the 10th Dutch-Belgian Information Retrieval Workshop (DIR 2010) (pp 63-64). Radboud Universiteit Nijmegen, Information Foraging Lab.Conference contribution | UvA-DARE
-
Arampatzis, A., Kamps, J. (2010) An empirical study of query specificity.In Gurrin, C. He, Y. Kazai, G. Kruschwitz, U. Little, S. Roelleke, T. Rüger, S. van Rijsbergen, K. (Eds.), Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010: proceedings (pp 594-597) (Lecture Notes in Computer Science, Vol. 5993). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-12275-0_55 | UvA-DARE
-
Arampatzis, A., Nussbaum, N., Kamps, J. (2008) Where to stop reading a ranked list?.In The seventeenth Text REtrieval Conference (TREC 2008) notebook (pp 1-7). National Institute of Standards and Technology.Conference contribution | http://staff.science.uva.nl/~kamps/publications/2008/aram:wher08.pdf | UvA-DARE
-
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.Conference contribution | https://doi.org/10.1007/978-3-642-04417-5_13 | UvA-DARE
-
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)
-
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)
-
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, ArgentinaConference 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 2001Conference contribution | UvA-DARE
-
Areces, C.E., Bernardi, R.B. (2001) Analyzing the core of categorial grammar.In Proceedings of ICoS-3, SienaConference 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
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