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.

Book (Editorship) | https://doi.org/10.1007/978-3-642-14556-8 | UvA-DARE

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.

Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46 (pp 1717-1723)

Article | https://escholarship.org/uc/item/43h970fc | UvA-DARE

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) 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., 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. (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)

Article | https://doi.org/10.1332/175795919X15468755933353 | UvA-DARE

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)

Article | https://doi.org/10.1017/jsl.2016.70 | UvA-DARE

Ghosh, S., de Jongh, D. (2013) Comparing strengths of beliefs explicitly.

Logic Journal of the IGPL, Vol. 21 (pp 488-514)

Article | https://doi.org/10.1093/jigpal/jzs050 | UvA-DARE

Ghosh, S., Löwe, B., Saraf, S. (2009) Pointer semantics with forward propagation.

Advances in Intelligent Systems Research, Vol. 8 (pp 37-42)

Article | https://doi.org/10.2991/agi.2009.29 | UvA-DARE

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.

Ghosh, S., Velázquez-Quesada, F.R. (2011) A qualitative approach to uncertainty.

In Banerjee, M. Seth, A. (Eds.), Logic and Its Applications: 4th Indian Conference, 2011, Delhi, India, January 5-11, 2011: proceedings (pp 90-104) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6521). Springer.

Giannakidou, A., Merchant, J. (1999) Why Giannis can't scrub his plate clean. On the absence of resulative secondary predication.

In Mozer, A. (Eds.), Greek Linguistics '97. Proceedings of the 3rd International conference on Greek Linguistics (pp 93-103). Ellinika Grammata.

Giannakidou, A., Stavrou, M. (1999) Nominalization and ellipsis in the Greek DP.

The Linguistic Review, Vol. 16 (pp 97-132)

Article | UvA-DARE

Giannakidou, A., Zwarts, F. (1999) Aspectual properties of temporal connectives.

In Mozer, A. (Eds.), Greek Linguistics '97: Proceedings of the 3rd International Conference on Greek Linguistics (pp 104-113). Ellinika Grammata.