uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Hinzen, W. (2006) Spencerism and the Causal Theory of Reference.
    Biology and Philosophy, Vol. 21 (pp 71-94)
  • Hirsch, D., Yankelich, D., Felder, M., Areces, C.E. (1997) Modal logic as a software engineering tool.
    In Proceedings Workshop in Formal Methods for the Design of Real-Time Systems
    Chapter | UvA-DARE
  • Hirschfeldt, D.R., Terwijn, S.A. (2008) Limit computability and constructive measure.
    In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. Yang, Y. (Eds.), Computational Prospects of Infinity. - Part II: Presented talks (pp 131-142) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 15). World Scientific.
    Conference contribution | https://doi.org/10.1142/6786 | UvA-DARE
  • Hoàng, C. (2017) Latent domain models for statistical machine translation.
    Thesis, fully internal | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2000) Axiomating complex algebras by games.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2001) Axiomatizing complex algebras by games.
    Algebra Universalis, Vol. 46 (pp 455-478)
  • Hodkinson, I., Venema, Y. (2003) Canonical varieties with no canonical axiomatisation.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Venema, Y. (2005) Canonical varieties with no canonical axiomatisation.
    Transactions of the Americal Mathematical Society, Vol. 357 (pp 4579-4605)
  • Hoeks, M., Roelofsen, F. (2019) Coordinating questions: The scope puzzle.
    Proceedings from Semantics and Linguistic Theory, Vol. 29 (pp 562-581)
  • Hoepman, J.H. (1996) Communication, Synchronization & Fault Tolerance.
    UvA.
    Thesis, externally prepared | UvA-DARE
  • Hofman, L., Kok, Anika, van Vliet, Marieke, Willems, Afra, Wernaart, Bart (2026) Mapping Ethical Preferences in Urban Technology: The Moral Data City Hunt Approach.
  • Hofman, L., van Vliet, Marieke (2025) Moral Data City Hunt: a method for engaging citizens and mapping ethical preferences in municipalities..
    Abstract | UvA-DARE
  • Hofmann, Lucas, Finkensiep, C., Moss, Fabian C. (2025) Metric Complexity in Polyphonic Music: A Theoretical Framework and Quantitative Analysis of Hugo Distler’s Motets.
  • Hogenboom, S.A.M., Hermans, F.F.J., van der Maas, H. (2022) Computerized adaptive assessment of understanding of programming concepts in primary school children.
    Computer Science Education, Vol. 32 (pp 418-448)
  • Hol, M., Bilgin, A. (2016) A Fuzzy Logic Approach for Anomaly Detection in Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016 : Benelux Conference on Artificial Intelligence: proceedings of the Twenty-Eight Benelux Conference on Artificial Intelligence : Amsterdam, November 10-11, 2016 (pp 210-211) (BNAIC, Vol. 28). Vrije Universiteit, Department of Computer Sciences.
  • Hol, M., Bilgin, A. (2017) Design of a Fuzzy Logic based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016: Artificial Intelligence: 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers (pp 121-136) (Communications in Computer and Information Science, Vol. 765). Springer.
  • Holla, N., Mishra, P., Yannakoudakis, H., Shutova, E. (2020) Learning to Learn to Disambiguate: Meta-Learning for Few-Shot Word Sense Disambiguation.
    In Cohn, T. He, Y. Liu, Y. (Eds.), Findings of the Association for Computational Linguistics : Findings of ACL: EMNLP 2020: 16-20 November, 2020 (pp 4517-4533). The Association for Computational Linguistics.
  • Hollain, N., Larson, M., Roelofsen, F. (2023) Analyzing the Potential of Linguistic Features for Sign Spotting: A Look at Approximative Features.
    In Shterionov, Dimitar De Sisto, Mirella Müller, Mathias Van Landuyt, Davy Omardeen, Rehana Oboyle, Shaun Braffort, Annelies Roelofsen, Floris Blain, Frederic Vanroy, Bram Avramidis, Eleftherios (Eds.), AT4SSL: Proceedings of the Second International Workshop on Automatic Translation for Signed and Spoken Languages : 15 June 2023 (pp 3-12). Open Press Tilburg University.
  • Hollain, N., Larson, M., Roelofsen, F. (2023) Distractor-Based Evaluation of Sign Spotting.
    In IEEE ICASSPW 2023 Workshop Proceedings (ICASSP 2023): 4-10 June, Rhodes Island, Greece . IEEE.
  • Hollenberg, M., Visser, A. (1997) Dynamic negation, the one and only.
    Research report Logic Group Preprint Series. Universiteit Utrecht.
    Report | UvA-DARE
1 ... 144 145 146 147 148 149 150 151 152 ... 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