Agostini, A. de Jongh, D.H.J. Montagna, F. (2000) Coordination of 01-agents vs. coordination worlds-based agents.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Ågotnes, T. van Benthem, J. Pacuit, E. (2009) Logic and intelligent interaction.

Synthese, Vol. 169 (pp 219-221)

Article | https://doi.org/10.1007/s11229-009-9558-0 | UvA-DARE

Ågotnes, T. van Benthem, J. Pacuit, E. (2009) Knowledge, Rationality & Action: Logics of Intelligent Interaction.

Synthese, Vol. 169 (pp 219-423)

Special issue (Editorship) | https://link.springer.com/journal/11229/169/2/page/1 | UvA-DARE

Å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.

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 (pp 1-16)

Article | http://www.linguistics.ruhr-uni-bochum.de/bla/beyondsem2011/bla3_online_proceedings_110301.pdf | UvA-DARE

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, Vol. 2333 (pp 175-189)

Article | UvA-DARE

Aiello, M. Monz, C. Todoran, L. Worring, M. (2002) Document Understanding for a Broad Class of Documents.

International Journal on Document Analysis and Recognition, Vol. 5 (pp 1-16)

Article | UvA-DARE

Aiello, M. Monz, C. Todoran, L. (2000) Combining linguistic and spatial information for document analysis.

In Mariani, J. Harman, D. (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.

Book (Editorship) | https://doi.org/10.1007/978-1-4020-5587-4 | UvA-DARE

Aiello, M. Smeulders, A.W.M. (1999) Where do Logic and Computer Vision meet?.

In Gerbrandy, J. de Rijke, M. Marx, M. Venema, Y. (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, Vol. 13 (pp 889-920)

Article | https://doi.org/10.1093/logcom/13.6.889 | UvA-DARE

Aiello, M. van Benthem, J.F.A.K. (1999) Logical patterns in space.

Technical Report ILLC. Fac. Natuurwetenschappen Wiskunde en Informatica.

Report | UvA-DARE

Aiello, M. van Benthem, J.F.A.K. (1999) Spaces to play: Topo-games.

In Baltag, A. Pauly, M. (Eds.), Workshop on Logic and Games (pp 17-18). UvA.