Searchable List of Research Output

Filter Publications
  • 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
  • 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • Veltman, F. (1976) Prejudices, presuppositions, and the theory of counterfactuals.
    Amsterdam papers in formal grammar (pp 248-282)
    Article | UvA-DARE
  • Veltman, F. (1981) Data semantics.
    In Groenendijk, J.A.G. Janssen, T.M.V. Stokhof, M.B.J. (Eds.), Formal methods in the study of language (pp 541-565) (Mathematical Centre Tracts). Mathematisch Centrum.
    Chapter | UvA-DARE
  • Veltman, F. (1984) Data semantics.
    Groningen-Amsterdam studies in semantics (pp 43-65)
    Article | UvA-DARE
  • Veltman, F. (1985) Logics for conditionals..
    s.n..
    Thesis, fully internal | UvA-DARE
  • Veltman, F. (1986) Data semantics and the pragmatics of indicative conditionals.
    In Traugott, E.C. (Eds.), On conditionals : (Symposium on conditionals and cognitive processes, Stanford University, Dec. 1983) (pp 147-167). Cambridge University Press.
    Conference contribution | UvA-DARE
  • Veltman, F. (1988) Comments on 'Probability Semantics' by Gerhard Paass.
    In Smets, Ph. Mamdani, G. (Eds.), Non-standard logics for automated reasoning (pp 244-247). Academic Press.
    Conference contribution | UvA-DARE
  • Veltman, F. (1988) Comments on 'An automated logic for elementary changes' by Luis Fariñas.
    In Smets, Ph. Mamdani, G. (Eds.), Non-standard logics for automated reasoning (pp 78-80). Academic Press.
    Conference contribution | UvA-DARE
  • Veltman, F. (1989) Regels en uitzonderingen.
    In Parret, H. (Eds.), In alle redelijkheid : standpunten over het denken, spreken en handelen van de redelijke mens (pp 201-222). Boom.
    Chapter | UvA-DARE

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