Hinzen, W. (2005) Eine Rekonstruktion und Verteidigung von Descartes' Argument für die Existenz Gottes in Principia §§13-20.

Conceptus, Vol. 86-88 (pp 243-261)

Article | UvA-DARE

Hinzen, W. (2005) Der natürliche Mensch.

In Westermann, H. Löhrer, G. (Eds.), Philosophische Anthropologie und Lebenskunst (pp 53-80). Fink-Verlag.

Hinzen, W. (2006) The mind we do not change [Review of: E. Olsson (2006) Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi].

Cambridge studies in probability, induction, and decision theory

Book/Film/Article/Exhibition review | UvA-DARE

Hinzen, W. (2006) Spencerism and the Causal Theory of Reference.

Biology and Philosophy, Vol. 21 (pp 71-94)

Article | https://doi.org/10.1007/s10539-005-0205-y | UvA-DARE

Hinzen, W. (2006) Mind Design and Minimal Syntax.

Oxford University Press.

Book | UvA-DARE

Hinzen, W. (2006) Context and Logical Form.

In Bouquet, P. Serafini, L. (Eds.), Perspectives on Context (pp 141-168). CSLI Publications.

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

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.

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)

Article | https://doi.org/10.1007/PL00000354 | UvA-DARE

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)

Article | https://doi.org/10.1090/S0002-9947-04-03743-2 | UvA-DARE

Hoeks, M., Roelofsen, F. (2019) Coordinating questions: The scope puzzle.

Proceedings from Semantics and Linguistic Theory, Vol. 29 (pp 562-581)

Article | https://doi.org/10.3765/salt.v29i0.4632 | UvA-DARE

Hoepman, J.H. (1996) Communication, Synchronization & Fault Tolerance.

UvA.

Thesis, externally prepared | UvA-DARE

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)

Article | https://doi.org/10.1080/08993408.2021.1914461 | UvA-DARE

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) 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