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

Veltman, F., Klein, E., Moens, M. (1990) Default reasoning and dynamic interpretation of natural language.

In ESPRIT '90 : proceedings of the annual ESPRIT conference, Brussels, November 12-15, 1990 (pp 12-15). Kluwer Academic Publishers.

Veltman, F., Klein, E., Moens, M. (1992) Default reasoning and dynamic interpretation of natural language.

In van der Hoek, W. (Eds.), Non-monotonic reasoning and partial semantics (pp 21-36) (Ellis Horwood series in artificial intelligence). Ellis Horwood.

Veltman, F., Meyer, J.-J. (2006) Intelligent agents and common sense reasoning.

In van Benthem, J.F.A.K. Blackburn, P Wolter, F (Eds.), Handbook of Modal Logic (pp 991-1031) (Studies in Logic and Practical Reasoning). Elsevier.

Veltman, F. (1976) Prejudices, presuppositions, and the theory of counterfactuals.

Amsterdam papers in formal grammar (pp 248-282)

Article | UvA-DARE