uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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.
    Chapter | UvA-DARE
  • 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) Syllabus logische analyse.
    Universiteit van Amsterdam.
    Book | UvA-DARE
  • Veltman, F. (2002) Het verschil tussen vaag en niet precies.
    Oratiereeks. Vossiuspers UvA.
    Inaugural speech | 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.
    Conference contribution | UvA-DARE
  • 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.
  • Venema, Y., Kloibhofer, J., Trucco Dalmas, Valentina (2025) Interpolation for Converse PDL.
    In Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025 (pp 258–277). Springer.
  • Venema, Y., Vickers, S., Vosmaer, J. (2013) Generalised powerlocales via relation lifting.
    Mathematical Structures in Computer Science, Vol. 23 (pp 142-199)
  • 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.
  • Venema, Y. (1994) A modal logic for quantification and substitution.
    Logic journal of the IGPL, Vol. 2 (pp 31-45)
  • Venema, Y. (1994) Completeness through flatness in two-dimensional temporal logic.
    In Gabbay, Dov M. Ohlbach, Hans Jurgen (Eds.), Temporal Logic - 1st International Conference, ICTL 1994, Proceedings (pp 149-164) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 827 LNAI). Springer Verlag.
    Conference contribution | https://doi.org/10.1007/bfb0013986 | UvA-DARE
1 ... 315 316 317 318 319 320 321 322 323 ... 340

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