Veiga Busto, R. (2023) Intérprete de lengua de signos. Translated title of the contribution: Sign language interpreter

In Queralt Estévez, Sheila (Eds.), Lingüistas de hoy: Profesiones para el siglo XXI (pp 117-122). Editorial Síntesis.

Veiga Busto, R. (2023) Person and number: An empirical study of Catalan Sign Language pronouns.

Sign Languages and Deaf Communities, Vol. 18. De Gruyter Mouton.

Book | https://doi.org/10.1515/9783110988956 | UvA-DARE

Veiga Busto, R. (2024) Paucal pronouns in Catalan Sign Language: a typological rarity?.

Sign Language Studies, Vol. 25 (pp 102-131)

Article | https://doi.org/10.1353/sls.2024.a950718 | UvA-DARE

Velazquez Quesada, F.R. (2011) Small steps in dynamics of information.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Velázquez-Quesada, F.R. (2008) Inference and update.

In Workshop on Logic and Intelligent Interaction, ESSLLI 2008 (pp 12-20)

Velázquez-Quesada, F.R. (2009) Inference and update.

Synthese, Vol. 169 (pp 283-300)

Article | https://doi.org/10.1007/s11229-009-9556-2 | UvA-DARE

Velázquez-Quesada, F.R. (2009) Dynamic logics for explicit and implicit information.

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 325-326) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.

Velázquez-Quesada, F.R. (2010) Dynamic epistemic logic for implicit and explicit beliefs.

In Boissier, O. El Fallah Seghrouchni, A. Hassas, S. Maudet, N. (Eds.), Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010): Lyon, France, August 30 - September 2, 2010 (pp 65-83) (CEUR Workshop Proceedings, Vol. 627). CEUR-WS.

Velázquez-Quesada, F.R. (2015) Reasoning Processes as Epistemic Dynamics.

Axiomathes, Vol. 25 (pp 41-60)

Article | https://doi.org/10.1007/s10516-014-9255-6 | UvA-DARE

Velázquez-Quesada, F.R. (2017) On subtler belief revision policies.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 314-329) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

Velázquez-Quesada, F.R. (2017) Reliability-based preference dynamics: lexicographic upgrade.

Journal of Logic and Computation, Vol. 27 (pp 2341-2381)

Article | https://doi.org/10.1093/logcom/exx019 | UvA-DARE

Velázquez-Quesada, F.R. (2018) Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models.

Journal of Logic and Computation, Vol. 28 (pp 1805-1832)

Article | https://doi.org/10.1093/logcom/exv023 | UvA-DARE

Veldhoen, S., Hupkes, D., Zuidema, W. (2016) Diagnostic Classifiers: Revealing how Neural Networks Process Hierarchical Structure.

In Besold, T.R. Bordes, A. d'Avila Garcez, A. Wayne, G. (Eds.), Proceedings of the Workshop on Cognitive Computation: Integrating neural and symbolic approaches 2016: co-located with the 30th Annual Conference on Neural Information Processing Systems (NIPS 2016) : Barcelona, Spain, December 9, 2016 (CEUR Workshop Proceedings, Vol. 1773). CEUR-WS.

Vélez Vásquez, M.A., Baelemans, M., Driedger, J., Zuidema, W., Burgoyne, J.A. (2023) Quantifying the ease of playing song chords on the guitar.

In Sarti, A. Antonacci, F. Sandler, M. Bestagini, P. Dixon, S. Liang, B. Richard, G. Pauwels, J. (Eds.), Proceedings of the 24th International Society for Music Information Retrieval Conference: Milan, Italy, November 5-9, 2023 (pp 725-732). ISMIR.

Vélez Vásquez, M.A., Burgoyne, J.A. (2022) Tailed U-Net: Multi-Scale Music Representation Learning.

In Rao, P. Murthy, H. Srinivasamurthy, A. Bittner, R. Caro Repetto, R. Goto, M. Serra, X. Miron, M. (Eds.), Proceedings of the 23rd International Society for Music Information Retrieval Conference: Bengaluru, India, December 04-08, 2022 (pp 67-75). ISMIR.

Vélez Vásquez, M.A., Pouw, C., Burgoyne, J.A., Zuidema, W. (2024) Exploring the inner mechanisms of large generative music models.

In Proceedings of the 25th International Conference of the Society for Music Information Retrieval (pp 5-14). ISMIR.

Veltman, F., Acero, J. (1991) Sémantica de actualización.

Revista de Filosofía, Vol. 6 (pp 271-284)

Article | UvA-DARE

Veltman, F., Clarke, M., Delgrande, J., Gärdenfors, P. (1991) Conditionals and belief revision.

Journal of Applied Non-Classical Logics, Vol. 1 (pp 199-265)

Article | UvA-DARE

Veltman, F., de Jongh, D. (1990) Provability logics for relative interpretability.

In Petkov, P.P. (Eds.), Mathematical logic ( Proceedings of the Summer School and Conference on Mathematical Logic, honourably dedicated to the ninetieth anniversary of Arend Heyting (1898-1980) held September 13-23, 1988 in Chaÿæika (near Varna), Bulgaria ) (pp 31-42). Plenum Press.

Veltman, F., de Jongh, D. (1999) The modal completeness of ILW.

In Gerbrandy, J. de Rijke, M. Venema, Y. (Eds.), JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Amsterdam University Press.