Searchable List of Research Output | Institute for Logic, Language and Computation

Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M. J., & de Rijke, M. (2004). PDL for ordered trees. Journal of Applied Non-Classical Logics, 2(15), 115-135. >>>
Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning IEEE Computer Society Press. >>>
Afshari, B., Enqvist, S., & Leigh, G. (2022). Cyclic proofs for the first-order mu-calculus. Logic Journal of the IGPL. Advance online publication. https://doi.org/10.1093/jigpal/jzac053 >>>
Afshari, B., Hetzl, S., & Leigh, G. E. (2020). Herbrand's theorem as higher order recursion. Annals of Pure and Applied Logic, 171(6), Article 102792. Advance online publication. https://doi.org/10.1016/j.apal.2020.102792 >>>
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. Advance online publication. https://doi.org/10.1007/978-3-030-86059-2_20 >>>
Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2023). A Cyclic Proof System for Full Computation Tree Logic. In B. Klin, & E. Pimentel (Eds.), 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland Article 5 (Leibniz International Proceedings in Informatics; Vol. 252). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2023.5 >>>
Afshari, B., & Leigh, G. E. (2022). Lyndon interpolation for modal μ-calculus. In A. Özgün, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp. 197–213). (Lecture Notes in Computer Science; Vol. 13206), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-98479-3_10 >>>
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/ >>>
Afshari, B., & Wehr, D. (2022). Abstract Cyclic Proofs. In A. Ciabattoni, E. Pimentel, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings (pp. 309–325). (Lecture Notes in Computer Science; Vol. 13468), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-15298-6_20 >>>
Afshari, B., & Wehr, D. (2023). Exact bounds for acyclic higher-order recursion schemes. Information and Computation, 290, Article 104982. Advance online publication. https://doi.org/10.1016/j.ic.2022.104982 >>>
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). >>>

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