-
Afshari, B., Wehr, D. (2023) Exact bounds for acyclic higher-order recursion schemes.Information and Computation, Vol. 290Article | https://doi.org/10.1016/j.ic.2022.104982 | UvA-DARE
-
Aglionby, G., Davis, C., Mishra, P., Caines, A., Yannakoudakis, H., Rei, M., Shutova, E., Buttery, P. (2019) CAMsterdam at SemEval-2019 Task 6: Neural and graph-based feature extraction for the identification of offensive tweets.In May, J. Shutova, E. Herbelot, A. Zhu, X. Apidianaki, M. Mohammad, S.M. (Eds.), The International Workshop on Semantic Evaluation : Proceedings of the Thirteenth Workshop: NAACL HLT 2019 : June 6-June 7, 2019, Minneapolis, Minnesota, USA (pp 556-563). Association for Computational Linguistics.Conference contribution | https://doi.org/10.18653/v1/S19-2100 | UvA-DAREAgostini, A., Aiello, M. (1999) Teaching via the web: A self-evaluation game using java for learning logical equivalence.In Proceedings of WebNet99 (pp 75-80). AACE.Conference contribution | UvA-DAREAgostini, A., de Jongh, D., 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.F.A.K., 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.F.A.K., 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.F.A.K., van Ditmarsch, H., Minică, Ş.A. (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.Conference contribution | http://loft2010.csc.liv.ac.uk/papers/34.pdf | UvA-DAREAguilar-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)Ahn, D.D., Azzopardi, L., 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.Conference contribution | UvA-DAREAhn, 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.Conference contribution | UvA-DAREAhn, D.D., Jijkoun, V., Kamps, J., Mishne, G.A., Müller, K.E., de Rijke, M., Schlobach, S. (2004) The University of Amsterdam at TREC 2004.In TREC 2004 Conference Notebook (pp 43-56)Conference contribution | UvA-DAREAhn, 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 NetherlandsConference contribution | UvA-DAREAiello, 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, SwedenConference contribution | UvA-DAREAiello, 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)Conference contribution | UvA-DAREAiello, M., Busetta, P., Donà, A., Serafini, L. (2002) Ontological overhearing.Lecture Notes in Computer Science, Vol. 2333 (pp 175-189)Article | UvA-DAREAiello, 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-DAREAiello, 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)Conference contribution | UvA-DAREAiello, 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.Chapter | UvA-DAREAiello, M., Pratt-Hartmann, I., van Benthem, J.F.A.K. (2007) Handbook of spatial logics.Springer.Book (Editorship) | https://doi.org/10.1007/978-1-4020-5587-4 | UvA-DAREAiello, 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.Chapter | 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