Searchable List of Research Output

Filter Publications
  • 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.
  • 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.
    Conference contribution | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
  • Giannakidou, A. (1999) Polariteitsverschijnselen en (non)veridicaliteit.
    Nederlandse Taalkunde, Vol. 2 (pp 93-110)
    Article | UvA-DARE
  • Giannakidou, A. (1999) Affective Dependencies.
    Linguistics and Philosophy, Vol. 22 (pp 367-421)
  • Giannakidou, A. (1999) Weak and strong licensing: evidence from Greek.
    In Horrocks, G. Alexiadou, A. (Eds.), Studies in Greek syntax (113). Kluwers Academic Publishers.
    Chapter | UvA-DARE
  • Gierasimczuk, N., de Jongh, D. (2010) On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages.
    In Grossi, D. Kurzen, L. Velázquez-Quesada, F.R. (Eds.), 2009 Yearbook of Logic and Interactive Rationality (LIRA) Seminar. ILLC, UvA.
    Chapter | UvA-DARE
  • Gierasimczuk, N., de Jongh, D. (2012) On the Complexity of Conclusive Update.
    Paper | UvA-DARE
  • Gierasimczuk, N., de Jongh, D. (2013) On the Complexity of Conclusive Update.
    Computer Journal, Vol. 56 (pp 365-377)
  • Gierasimczuk, N., Hendricks, V.F., de Jongh, D. (2014) Logic and Learning.
    In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 267-288) (Outstanding contributions to logic, Vol. 5). Springer.
  • Gierasimczuk, N., Kalociński, D., Mostowski, M. (2015) Quantifier Learning: An Agent-based Coordination Model.
    Paper | UvA-DARE
  • Gierasimczuk, N., Kurzen, L., Velázquez-Quesada, F.R. (2009) Learning and teaching as a game: A sabotage approach.
    In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 119-132) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.

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