Searchable List of Research Output

Filter Publications
  • Afshari, B., Jäger, G., & Leigh, G. E. (2019). An infinitary treatment of full mu-calculus. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 17-34). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_2 >>>
  • Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2021). Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 335-353). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_20 >>>
  • Afshari, B., & Leigh, G. (Accepted/In press). Lyndon interpolation for modal mu-calculus. In Lecture Notes in Computer Science, Springer (Lecture Notes in Computer Science). Springer. >>>
  • Afshari, B., & Leigh, G. E. (2019). Direct interpolation for modal mu-calculus. In Proceedings of the Tbilisi Symposia on Language, Logic and Computation https://wollic2019.sites.uu.nl/programme-monday/ >>>
  • Agostini, 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. >>>
  • Agostini, A., de Jongh, D. H. J., & Montagna, F. (2000). Coordination of 01-agents vs. coordination worlds-based agents. (Technical Reports; No. PP-2000-15). Institute for Logic, Language and Computation. >>>
  • Ågotnes, T., van Benthem, J., & Pacuit, E. (2009). Logic and intelligent interaction. Synthese, 169(2), 219-221. https://doi.org/10.1007/s11229-009-9558-0 >>>
  • Ågotnes, T. (Guest ed.), van Benthem, J. (Guest ed.), & Pacuit, E. (Guest ed.) (2009). Knowledge, Rationality & Action: Logics of Intelligent Interaction. Synthese, 169(2), 219-423. https://link.springer.com/journal/11229/169/2/page/1 >>>
  • Å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 for 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. >>>

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