uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Veiga Busto, R. (2022) Person and number in Catalan Sign Language pronouns.
    Sign Language & Linguistics, Vol. 25 (pp 258-266)
  • 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.
  • 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.
    Chapter | 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)
  • 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.
    Conference contribution | http://ceur-ws.org/Vol-627/lrba_5.pdf | UvA-DARE
  • Velázquez-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. (2015) Reasoning Processes as Epistemic Dynamics.
    Axiomathes, Vol. 25 (pp 41-60)
  • Velázquez-Quesada, F.R. (2017) Reliability-based preference dynamics: lexicographic upgrade.
    Journal of Logic and Computation, Vol. 27 (pp 2341-2381)
  • 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)
  • 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.
  • 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.
    Conference contribution | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
1 ... 285 286 287 288 289 290 291 292 293 ... 310

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