Searchable List of Research Output

Filter Publications
  • Ågotnes, T., van Benthem, J., van Ditmarsch, H., & Minică, Ş. (2010). Question-answer games. In LOFT 2010: 9th Conference on Logic and the Foundations of Game and Decision Theory: University of Toulouse (France), 5-7 July, 2010 University of Liverpool, Computer Science Department. http://loft2010.csc.liv.ac.uk/papers/34.pdf >>>
  • Aguilar-Guevara, A., Aloni, M., Port, A., Šimík, R., de Vos, M., & Zeijlstra, H. (2011). Semantics and pragmatics of indefinites: methodology for a synchronic and diachronic corpus study. Bochumer Linguistische Arbeitsberichte, 1-16. http://www.linguistics.ruhr-uni-bochum.de/bla/beyondsem2011/bla3_online_proceedings_110301.pdf >>>
  • Ahn, D. D., Azzopardi, L. A., Balog, K., Fissaha Adafre, S., Jijkoun, V., Kamps, J., Müller, K. E., de Rijke, M., & Tjong Kim Sang, E. F. (2005). The University of Amsterdam at TREC 2005. In The Fourteenth Text Retrieval Conference (TREC 2005) Notebook National Institute of Standards and Technology. >>>
  • Ahn, D. D., Fissaha Adafre, S., Jijkoun, V., & de Rijke, M. (2004). The University of Amsterdam at Senseval-3: Semantic Roles and Logic Forms. In Proceedings of Senseval-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text (pp. 49-53). Association for Computational Linguistics. >>>
  • Ahn, D. D., Jijkoun, V., Kamps, J., Mishne, G. A., Müller, K. E., de Rijke, M., & Schlobach, K. S. (2004). The University of Amsterdam at TREC 2004. In TREC 2004 Conference Notebook (pp. 43-56). >>>
  • Ahn, D. D., Jijkoun, V., Mishne, G. A., Müller, K. E., & de Rijke, M. (2004). A Recall Oriented Approach to Open Domain Question Answering (abstract). In 15th Meeting of Computational Linguistics in the Netherlands >>>
  • Aiello, M., Areces, C. E., & de Rijke, M. (1999). Spatial reasoning for image retrieval. In Proceedings of the 1999 International Workshop on Description Logics (DL'98), Linköping, Sweden >>>
  • Aiello, M., Areces, C. E., & de Rijke, M. (1999). Spatial reasoning for image retrieval. In Proceedings of the International Workshop on Description Logics (DL'99), Linköping, Sweden (pp. 23-27) >>>
  • Aiello, M., Busetta, P., Donà, A., & Serafini, L. (2002). Ontological overhearing. Lecture Notes in Computer Science, 2333, 175-189. >>>
  • Aiello, M., Monz, C., Todoran, L., & Worring, M. (2002). Document Understanding for a Broad Class of Documents. International Journal on Document Analysis and Recognition, 5(1), 1-16. >>>
  • Aiello, M., Monz, C., & Todoran, L. (2000). Combining linguistic and spatial information for document analysis. In J. Mariani, & D. Harman (Eds.), Proceedings of RIAO 2000 Content-Based Multimedia Information Access (pp. 266-275) >>>
  • Aiello, M., Papzoglou, M., Yang, J., Carman, M., Serafini, L., & Traverso, P. (2002). A request language for web-services based on planning and constraint satisfaction. In VLDB workshop on Technologies for E-Services (TES) (pp. 76-85). Springer Verlag. >>>
  • Aiello, M., Pratt-Hartmann, I., & van Benthem, J. (2007). Handbook of spatial logics. Springer. https://doi.org/10.1007/978-1-4020-5587-4 >>>
  • Aiello, M., & Smeulders, A. W. M. (1999). Where do Logic and Computer Vision meet? In J. Gerbrandy, M. de Rijke, M. Marx, & Y. Venema (Eds.), JFAK: essays dedicated to Johan van Benthem on the occasion of his 50th birthday (pp. 1-11). Vossiuspers AUP. >>>
  • Aiello, M., van Benthem, J. F. A. K., & Bezhanishvili, G. (2003). Reasoning about space: The modal way. Journal of Logic and Computation, 13(6), 889-920. https://doi.org/10.1093/logcom/13.6.889 >>>
  • Aiello, M., & van Benthem, J. F. A. K. (1999). Logical patterns in space. (Technical Report ILLC; No. PP-99-24). Fac. Natuurwetenschappen Wiskunde en Informatica. >>>
  • Aiello, M., & van Benthem, J. F. A. K. (1999). Spaces to play: Topo-games. In A. Baltag, & M. Pauly (Eds.), Workshop on Logic and Games (pp. 17-18). UvA. >>>
  • Aiello, M., & van Benthem, J. F. A. K. (2001). A Modal Walk Through Space. (Technical Reports; No. PP-2001-23). Institute for Logic, Language and Computation. >>>
  • Aiello, M., & van Benthem, J. F. A. K. (2002). Logical Patterns in Space. In J. F. A. K. van Benthem, P. Scotto di Luzio, D. Barker-Plummer, & D. I. Beaver (Eds.), Words, Proofs, and Diagrams (pp. 5-25). CSLI Publications. >>>
  • Aiello, M., & van Benthem, J. F. A. K. (2003). A modal walk through space. Journal of Applied Non-Classical Logics, 12(3&4), 319-363. >>>

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