uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Geva, S., Kamps, J., Schenkel, R. (2012) Focused Retrieval of Content and Structure: 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised Selected Papers.
    Lecture Notes in Computer Science, Vol. 7424. Springer.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Trotman, A. (2009) INEX 2009 workshop pre-proceedings.
    IR Publications.
  • Geva, S., Kamps, J., Trotman, A. (2009) Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 5631. Springer.
  • Geva, S., Kamps, J., Trotman, A. (2010) Focused Retrieval and Evaluation: 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 6203. Springer.
  • Ghaleb, E., Khaertdinov, Bulat, Özyürek, Aslı, Fernández, R. (2025) I see what you mean: Co-Speech Gestures for Reference Resolution in Multimodal Dialogue.
    In Che, W. Nabende, J. Shutova, E. Pilehvar, M.T. (Eds.), The 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025) : Findings of the Association for Computational Linguistics: ACL 2025: ACL 2025 : July 27-August 1, 2025 (pp 13191–13206). Association for Computational Linguistics.
  • Ghaleb, E., Rasenberg, Marlou, Pouw, Wim, Toni, I., Holler, Judith, Özyürek, Aslı, Fernández, R. (2024) Analysing Cross-Speaker Convergence through the Lens of Automatically Detected Shared Linguistic Constructions.
    In Samuelson, L. Frank, S. Toneva, M. Mackey, A. Hazeltine, E. (Eds.), 46th Annual Meeting of the Cognitive Science Society (CogSci 2024): Dynamics of Cognition : Rotterdam, the Netherlands, 24-27 July 2024 (pp 1717-1723) (Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46). Cognitive Science Society.
  • Ghaleb, Esam, Khaertdinov, Bulat, Pouw, Wim, Rasenberg, Marlou, Holler, Judith, Özyürek, Aslı, Fernández, R. (2024) Learning Co-Speech Gesture Representations in Dialogue through Contrastive Learning: An Intrinsic Evaluation.
    In ICMI '24: Proceedings of the 26th International Conference on Multimodal Interaction : November 4-8, 2024, San José, Costa Rica (pp 274-283). Association for Computing Machinery.
  • Gheerbrant, A., ten Cate, B. (2009) Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees.
    In Artemov, S. Nerode, A. (Eds.), Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings (pp 180-196) (Lecture Notes in Computer Science, Vol. 5407). Springer.
  • Gheerbrant, A., ten Cate, B. (2009) Craig interpolation for linear temporal languages.
    In Grädel, E. Kahle, R. (Eds.), Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings (pp 287-301) (Lecture Notes in Computer Science, Vol. 5771). Springer.
  • Gheerbrant, A. (2010) Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus.
    In Beklemishev, L. Goranko, V. Shehtman, V. (Eds.), Advances in Modal Logic: AiML 8 (pp 140-155). College Publications.
  • Gheerbrant, A.P. (2010) Fixed-point logics on trees.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Ghiara, V., Russo, F. (2019) Reconstructing the mixed mechanisms of health: the role of bio- and socio-markers.
    Longitudinal and Life Course Studies, Vol. 10 (pp 7-25)
  • Ghilardi, S., van Gool, S. (2016) Monadic second order logic as the model companion of temporal logic.
    In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA (pp 417-426). The Association for Computing Machinery.
  • Ghilardi, S., van Gool, S.J. (2017) A model-theoretic characterization of monadic second-order logic on infinite words.
    Journal of Symbolic Logic, Vol. 82 (pp 62-76)
  • Ghosh, S., de Jongh, D. (2013) Comparing strengths of beliefs explicitly.
    Logic Journal of the IGPL, Vol. 21 (pp 488-514)
  • Ghosh, S., Löwe, B., Saraf, S. (2009) Pointer semantics with forward propagation.
    Advances in Intelligent Systems Research, Vol. 8 (pp 37-42)
  • Ghosh, S., Löwe, B., Scorelle, E. (2007) Belief Flow in Assertion Networks.
    In Priss, U. Polovina, S. Hill, R. (Eds.), Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings (pp 401-414) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 4604). Springer.
  • Ghosh, S., Ramanujam, R., Simon, S. (2010) Playing extensive form games in parallel.
    In Dix, J. Leite, J. Governatori, G. Jamroga, W. (Eds.), Computational Logic in Multi-Agent Systems: 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings (pp 153-170) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 6245). Springer.
  • Ghosh, S., Szymanik, J. (2015) The facts matter: Essays on logic and cognition in honour of Rineke Verbrugge.
    Tributes. College Publications.
    Book (Editorship) | UvA-DARE
  • Ghosh, S., Velázquez-Quesada, F.R. (2011) Merging information.
    In van Benthem, J. Gupta, A. Pacuit, E. (Eds.), Games, norms and reasons: logic at the crossroads (pp 79-98) (Synthese library). Springer.
1 ... 127 128 129 130 131 132 133 134 135 ... 340

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