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.

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.

Veltman, F. (1990) Defaults in update semantics I.

In Kamp, H. (Eds.), Conditionals, defaults and belief revision (pp 28-64) (DYANA report). Centre for Cognitive Science, University of Edinburgh.

Veltman, F. (1992) Dynamic interpretation of natural language-2: technical annex for ESPRIT basic research project 6852.

DYANA-2 : dynamic interpretation of natural language : ESPRIT basic research project 6852. ILLC/Department of Philosophy, University of Amsterdam.

Book (Editorship) | UvA-DARE

Veltman, F. (1993) Wetenschap gedwongen tot onmogelijke beloften.

Automatisering gids, Vol. 27 (pp 7)

Article | UvA-DARE

Veltman, F. (1997) Defaults in update semantics.

Journal of Philosophical Logic, Vol. 25 (pp 221-261)

Article | UvA-DARE

Veltman, F. (1998) Een zogenaamde denkfout.

Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 11-25)

Article | UvA-DARE

Veltman, F. (1998) Defaults in update semantics.

Philosophers's Annual (pp 237-276)

Article | UvA-DARE

Veltman, F. (2002) Het verschil tussen vaag en niet precies.

Oratiereeks. Vossiuspers UvA.

Inaugural speech | UvA-DARE

Veltman, F. (2002) Syllabus logische analyse.

Universiteit van Amsterdam.

Book | UvA-DARE

Veltman, F. (2002) Logica in historisch perspectief.

Unknown Publisher.

Book | UvA-DARE

Veltman, F. (2004) Making Counterfactual assumptions.

ILLC Prebublications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Veltman, F. (2005) Making counterfactual assumptions.

Journal of Semantics, Vol. 22 (pp 159-180)

Article | UvA-DARE

Veltman, F. (2013) Learning to Live with Paradox.

In van Benthem, J. Liu, F. (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (pp 333-337) (Studies in Logic, Vol. 47). College Publications.

Vendeville, B., Bakker, J., Azarbonyad, Hosein, Ermakova, L., Kamps, J. (2025) Overview of the CLEF 2025 SimpleText Task 2: Identify and Avoid Hallucination.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4186-4204) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Vendeville, B., Ermakova, L., De Loor, Pierre, Kamps, J. (2025) MIRAGE: A Metrics lIbrary for Rating hAllucinations in Generated tExt.

In CIKM'25: Proceedings of the 34th ACM International Conference on Information and Knowledge Management : November 10-14, 2025, Seoul, Republic of Korea (pp 6539-6543). Association for Computing Machinery.

Vendeville, B., Ermakova, L., De Loor, Pierre, Kamps, J. (2025) UBOnlp Report at the SimpleText lab of CLEF 2025.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4363-4375) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Vendeville, B., Ermakova, L., De Loor, Pierre, Kamps, J. (2026) MIRAGE : une bibliothèque de métriques pour évaluer les hallucinations dans les textes générés.

In Actes de CORIA-TALN 2026. Actes des 33ème Conférence sur le Traitement Automatique des Langues Naturelles. Volume 2 : articles déjà publiés (pp 32-32). Association pour le traitement automatique des langues.

Venema, Y., Vickers, S., Vosmaer, J. (2013) Generalised powerlocales via relation lifting.

Mathematical Structures in Computer Science, Vol. 23 (pp 142-199)

Article | https://doi.org/10.1017/S0960129512000229 | UvA-DARE

Venema, Y., Vosmaer, J. (2014) Modal Logic and the Vietoris Functor.

In Bezhanishvili, G. (Eds.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp 119-153) (Outstanding contributions to logic, Vol. 4). Springer.