Djokic, V.G., Maillard, J., Bulat, L., Shutova, E. (2019) Modeling affirmative and negated action processing in the brain with lexical and compositional semantic models.

In Korhonen, A. Traum, D. Màrquez, L. (Eds.), The 57th Annual Meeting of the Association for Computational Linguistics: ACL 2019 : proceedings of the conference : July 28-August 2, 2019, Florence, Italy (pp 5155-5165). The Association for Computational Linguistics.

Djokic, V.G., Malliard, J., Bulat, L., Shutova, E. (2020) Decoding brain activity associated with literal and metaphoric sentence comprehension using distributional semantic models.

Transactions of the Association of Computational Linguistics, Vol. 8 (pp 231-246)

Article | https://doi.org/10.1162/tacl_a_00307 | UvA-DARE

Djokic, V.G., Shutova, E., Fiebrink, R. (2021) MetaVR: Understanding metaphors in the mind and relation to emotion through immersive, spatial interaction.

In CHI '21: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems : May 8-13, 2021, online virtual conference (originally, Yokohama, Japan) . Association for Computing Machinery.

Djokic, V.G., Shutova, E. (2020) Modelling Brain Activity Associated with Metaphor Processing with Distributional Semantic Models.

In 42nd Annual Meeting of the Cognitive Science Society (CogSci 2020): Developing a Mind: Learning in Humans, Animals, and Machines : online, 29 July-1 August 2020 (pp 3118-3124). Cognitive Science Society.

Dobler, T. (2017) Occasion-sensitive semantics.

In Brézillon, P. Turner, R. Penco, C. (Eds.), Modeling and Using Context: 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017 : proceedings (pp 254-266) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 10257). Springer.

Dobler, T. (2019) Occasion-sensitive semantics for objective predicates.

Linguistics and Philosophy, Vol. 42 (pp 451–474)

Article | https://doi.org/10.1007/s10988-018-9255-x | UvA-DARE

Dobler, T. (2020) The Occasion‐Sensitivity of Thought.

Topoi, Vol. 39

Article | https://doi.org/10.1007/s11245-017-9532-2 | UvA-DARE

Dobler, T. (2022) Pluralist conceptual engineering.

Inquiry : an Interdisciplinary Journal of Philosophy

Article | https://doi.org/10.1080/0020174X.2022.2086171 | UvA-DARE

Döcker, J., Dorn, B., Endriss, U., de Haan, R., Schneckenburger, S. (2018) Tool Auctions.

In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, Thirtieth Innovative Applications of Artificial Intelligence Conference, Eighth Symposium on Educational Advances in Artificial Intelligence: 2-7 February 2018, New Orleans, Louisiana, USA (pp 1015-1022). AAAI Press.

Döcker, J., Dorn, B., Endriss, U., Krüger, D. (2016) Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.

In Kaminka, G.A. Fox, M. Bouquet, P. Hüllermeyer, E. Dignum, V. Dignum, F. van Harmelen, F. (Eds.), ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands: including Prestigious applications of intelligent systems (PAIS 2016) : proceedings (pp 802-809) (Frontiers in Artificial Intelligence and Applications, Vol. 285). IOS Press.

Doenges, R., Kappé, T., Sarracino, J., Foster, N., Morrisett, G. (2022) Leapfrog: certified equivalence for protocol parsers.

In Jhala, R. Dillig, I. (Eds.), PLDI '22: proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA (pp 950-965). Association for Computing Machinery.

Doets, H.C., van Eijck, J. (2012) The Haskell Road to Logic, Maths and Programming.

Texts in computing, Vol. 4. College Publications.

Book | UvA-DARE

Doets, H.C. (1994) From logic to logic programming.

Foundation of Computing Series. The MIT Press.

Book | UvA-DARE

Doets, H.C. (1994) Left termination turned into termination.

Theoretical Computer Science, Vol. 124 (pp 181-188)

Article | https://doi.org/10.1016/0304-3975(94)90059-0 | UvA-DARE

Doets, H.C. (1996) Wijzer in Wiskunde.

CWI.

Book | UvA-DARE

Doets, H.C. (1996) Basic model theory.

CSLI Publications & FoLLI.

Book | UvA-DARE

Doets, H.C. (1996) Monotone quantifiers: interpolation and preservation.

In van Eijck, J. van der Does, J. (Eds.), Quantifiers, logic, and language (pp 95-103) (CSLI lecture notes). CSLI.

Doets, H.C. (1997) Logic Programming.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, volume Supplement Volume I. Kluwer.

Doets, H.C. (1998) Elementary properties of finite ranks.

Mathematical Logic Quarterly, Vol. 44 (pp 349-353)

Article | https://doi.org/10.1002/malq.19980440306 | UvA-DARE

Doets, H.C. (1999) Three old pieces.

In Marx, M. Gerbrandy, J. de Rijke, M. Venema, Y. (Eds.), JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th anniversary. Amsterdam University Press.