uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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) Jónsson-style canonicity for ALBA-inequalities.
    Journal of Logic and Computation, Vol. 27 (pp 817-865)
  • Palmigiano, A., Sourabh, S., Zhao, Z. (2017) Sahlqvist theory for impossible worlds.
    Journal of Logic and Computation, Vol. 27 (pp 775-816)
  • 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., Vitányi, 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. (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.A. (2016) Dependence Logic in Pregeometries and ω-Stable Theories.
    Journal of Symbolic Logic, Vol. 81 (pp 32-55)
  • 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)
  • Parfenova, I., Elliott, D., Fernández, R., Pezzelle, S. (2021) Probing Cross-Modal Representations in Multi-Step Relational Reasoning.
    In Rogers, A. Calixto, I. Vulić, I. Saphra, N. Kassner, N. Camburu, O.-M. Bansal, T. Shwartz, V. (Eds.), The 6th Workshop on Representation Learning for NLP: RepL4NLP 2021 : proceedings of the workshop : August 6, 2021, Bangkok, Thailand (online) (pp 152–162). The Association for Computational Linguistics.
  • Parkkinen, V.-P., Russo, F., Wallmann, C. (2017) Scientific disagreement and evidential pluralism: Lessons from the studies on hypercholesterolemia.
    Humana.Mente : Journal of Philosophical Studies, Vol. 10 (pp 75-116)
  • Parkkinen, V.-P., Wallmann, C., Wilde, M., Clarke, B., Illari, P., Kelly, M.P., Norell, C., Russo, F., Shaw, B., Williamson, J. (2018) Evaluating evidence of mechanisms in medicine: Principles and rocedures.
    SpringerBriefs in Philosophy. SpringerOpen.
  • Passmann, R. (2020) De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.
    In Fernández, M. Muscholl, A. (Eds.), 28th EACSL Annual Conference on Computer Science Logic: CSL 2020, January 13-16, 2020, Barcelona, Spain (Leibniz International Proceedings in Informatics, Vol. 152). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Passmann, R. (2021) Should pluralists be pluralists about pluralism?.
    Synthese, Vol. 199 (pp 12663-12682)
  • Passmann, R. (2023) Logical structure of constructive set theories.
    ILLC dissertation series
    Thesis, fully internal | UvA-DARE
1 ... 198 199 200 201 202 203 204 205 206 ... 308

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