uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • 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 Muller, Mathias Van Landuyt, Davy Omardeen, Rehana O'boyle, Shaun Braffort, Annelies Roelofsen, Floris Blain, Frederic Vanroy, Bram Avramidis, Eleftherios (Eds.), AT4SSL 2023 - Proceedings of the 2nd International Workshop on Automatic Translation for Signed and Spoken Languages (pp 3-12). European Association for Machine Translation.
    Conference contribution | UvA-DARE
  • 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
  • Höller, D., Behnke, G. (2022) Encoding Lifted Classical Planning in Propositional Logic.
    In Kumar, A. Thiébaux, S. Varakantham, P. Yeoh, W. (Eds.), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling: June 13-24, 2022, virtual conference (pp 134-144) (ICAPS, Vol. 32). AAAI Press.
  • Höller, D., Wichlacz, J., Bercher, P., Behnke, G. (2022) Compiling HTN Plan Verification Problems into HTN Planning Problems.
    In Kumar, A. Thiébaux, S. Varakantham, P. Yeoh, W. (Eds.), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling: June 13-24, 2022, virtual conference (pp 145-150) (ICAPS, Vol. 32). AAAI Press.
  • Holliday, W. (2012) Knowing What Follows: Epistemic Closure and Epistemic Logic.
    Thesis, fully external | UvA-DARE
  • Hollink, V., Kamps, J., Monz, C., de Rijke, M. (2004) Monolingual document retrieval for European languages.
    Information Retrieval, Vol. 7 (pp 33-52)
1 ... 142 143 144 145 146 147 148 149 150 ... 335

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