uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Pacuit, E.J. (2007) Some Comments on History Based Structures.
    Journal of Applied Logic, Vol. 5 (pp 613-624)
    Article | UvA-DARE
  • Pacuit, E.J. (2007) Towards a Logical Analysis of Adjusted Winner.
    In Gupta, A Parikh, R van Benthem, J (Eds.), Logic at the Crossroads: An Interdisciplinary View (pp 318-330). Allied Publishers Pvt. Ltd.
    Chapter | UvA-DARE
  • Pagin, P., van Rooij, R., Akerman, J. (2013) Philosophy of language and mind.
    Synthese, Vol. 190 (pp 1731-1733)
  • Pal, S., Mitra, M., Kamps, J. (2011) Evaluation effort, reliability and reusability in XML retrieval.
    Journal of the American Society for information Science and Technology, Vol. 62 (pp 375-394)
  • Palmigiano, A., Re, R. (2010) Topological groupoid quantales.
    Studia Logica, Vol. 95 (pp 125-137)
  • Palmigiano, A., Re, R. (2011) Groupoid quantales: A non-étale setting.
    Journal of Pure and Applied Algebra, Vol. 215 (pp 1945-1957)
  • Palmigiano, A., Re, R. (2013) Relational representation of groupoid quantales.
    Order, Vol. 30 (pp 65-83)
  • Palmigiano, A., Sourabh, S., Zhao, Z. (2017) Sahlqvist theory for impossible worlds.
    Journal of Logic and Computation, Vol. 27 (pp 775-816)
  • Palmigiano, A., Sourabh, S., Zhao, Z. (2017) Jónsson-style canonicity for ALBA-inequalities.
    Journal of Logic and Computation, Vol. 27 (pp 817-865)
  • Palmigiano, A., Venema, Y. (2007) Nabla algebras and Chu spaces.
    In Mossakowski, T. Montanari, U. Haveraaen, M. (Eds.), Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings (pp 394-408) (Lecture Notes in Computer Science, Vol. 4624). Springer.
  • Palmigiano, A. (2004) A coalgebraic view on Positive Modal Logic.
    Theoretical Computer Science, Vol. 327 (pp 175-195)
  • Panconessi, A., Papatrintafilou, M., Tsigas, P., Vitanyi, P.M.B. (1994) Randomized Wait-Free Distributed Naming.
    In Proc. Fifth Annual International Symposium on Algorithms and Computation (pp 83-91) (Lecture Notes in Computer Science). Springer.
    Chapter | UvA-DARE
  • Panteli, M., Bogaards, N., Honingh, A.K. (2014) Modeling rhythm similarity for Electronic Dance Music.
    In Wang, H.-M. Yang, Y.-H. Lee, J.H. (Eds.), Proceedings of the 15th International Society for Music Information Retrieval Conference: ISMIR 2014, Taipei, Taiwan, October 27-31, 2014 (pp 537-542). ISMIR.
  • Panteli, M., Rocha, B., Bogaards, N., Honingh, A. (2014) Development of a Rhythm Similarity Model for Electronic Dance Music.
    Abstract | UvA-DARE
  • Paolini, G., Väänänen, J. (2016) Dependence Logic in Pregeometries and ω-Stable Theories.
    Journal of Symbolic Logic, Vol. 81 (pp 32-55)
  • Papandreou-Lazos, Taiki, Bakker, J., Kamps, J. (2025) University of Amsterdam at the CLEF 2025 SimpleText Track.
    In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4356-4362) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.
  • Papazoglou, M., Aiello, M., Pistore, M., Yang, J. (2002) Xsrl: An xml web-services request language.
    Technical Report DIT. Institute for Logic, Language and Computation.
    Report | UvA-DARE
  • Paperno, D., Kruszewski, G., Lazaridou, A., Pham, Q.N., Bernardi, R., Pezzelle, S., Baroni, M., Boleda, G., Fernández, R. (2016) The LAMBADA dataset: Word prediction requiring a broad discourse context.
    In Erk, K. Smith, N.A. (Eds.), The 54th Annual Meeting of the Association for Computational Linguistics : ACL 2016: proceedings of the conference : August 7-12, 2016, Berlin Germany (pp 1525-1534). Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/P16-1144 | UvA-DARE
  • Parcalabescu, L., Gatt, A., Frank, A., Calixto, I. (2021) Seeing past words: Testing the cross-modal capabilities of pretrained V&L models on counting tasks.
    In Donatelli, L. Krishnaswamy, N. Lai, K. Pustejovsky, J. (Eds.), Multimodal Semantic Representations: Proceedings of the First Workshop : IWCS : June 16, 2021 (pp 32-44). The Association for Computational Linguistics.
  • Pardo, P., Sarrión-Morillo, E., Soler-Toscano, F., Velázquez-Quesada, F.R. (2018) Tuning the program transformers from LCC to PDL.
    IfCoLoG Journal of Logics and their Applications, Vol. 5 (pp 71-96)
1 ... 215 216 217 218 219 220 221 222 223 ... 334

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