Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N. (2009) Normative multi-agent programs and their logics.

In Meyer, J.-J.C. Broersen, J. (Eds.), Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008 : revised selected papers (pp 16-31) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 5605). Springer.

Dastani, M.M., Scha, R.J.H. (2003) Languages for gestalts of line patterns.

Journal of Mathematical Psychology, Vol. 47 (pp 429-449)

Article | https://doi.org/10.1016/S0022-2496(03)00031-2 | UvA-DARE

Davidson, T.R., Falorsi, L., De Cao, N., Kipf, T., Tomczak, J.M. (2018) Hyperspherical Variational Auto-Encoders.

In Globerson, A. Silva, R. (Eds.), Uncertainty in Artificial Intelligence: proceedings of the Thirty-Fourth Concerence (2018) : August 6-10, 2018, Monterey, California, USA (pp 856-865). AUAI Press.

Davis, C., Bulat, L., Vero, A., Shutova, E. (2018) Modelling Visual Properties and Visual Context in Multimodal Semantics.

In Visually Grounded Interaction and Language (ViGIL): NeurIPS 2018 Workshop, Montreal, Canada. Accepted Papers . NIPS.

Davis, C., Bulat, L., Vero, A., Shutova, E. (2019) Deconstructing Multimodality: Visual Properties and Visual Context in Human Semantic Processing.

In Mihalcea, R. Shutova, E. Ku, L.-W. Evang, K. Poria, S. (Eds.), Lexical and Computational Semantics (*SEM): NAACL HLT 2019 : proceedings of the Eighth Conference : June 6-7, 2019, Minneapolis (pp 118-124). The Association for Computational Linguistics.

Dawar, A., Cooper, S.B., Löwe, B. (2012) Preface.

In Cooper, S.B. Dawar, A. Löwe, B. (Eds.), How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings (pp V-IX) (Lecture Notes in Computer Science, Vol. 7318). Springer.

Daylight, E.G., Koolen, W.M., Vitányi, P.M.B. (2008) On time-bounded incompressibility of compressible strings.

Institute for Logic, Language and Computation.

Working paper | http://arxiv.org/abs/0809.2965 | UvA-DARE

Daylight, E.G., Koolen, W.M., Vitányi, P.M.B. (2009) Time-bounded incompressibility of compressible strings and sequences.

Information Processing Letters, Vol. 109 (pp 1055-1059)

Article | https://doi.org/10.1016/j.ipl.2009.06.013 | UvA-DARE

Daylight, E.G., Shukla, S.K. (2009) On the difficulties of concurrent-system design, illustrated with a 2×2 switch case study.

In Cavalcanti, A. Dams, D.R. (Eds.), FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings (pp 273-288) (Lecture Notes in Computer Science, Vol. 5850). Springer.

de Bloois, J.G.C., Bod, R., Jansen, Y., Overwijk, J.L. (2017) Dit regeerakkoord ondermijnt de universiteit als kritische vrijplaats.

NRC Handelsblad

Comment/Letter to the editor | https://www.nrc.nl/nieuws/2017/10/18/dit-regeerakkoord-ondermijnt-de-universiteit-als-kritische-vrijplaats-13554635-a1577688 | UvA-DARE

de Boer, B., Zuidema, W. (2005) Multi-Agent Simulations of the Evolution of Combinatorial Phonology.

BNAIC, Vol. 17 (pp 66-73)

Article | UvA-DARE

de Boer, K., Ducas, L., Jeffery, S., de Wolf, R. (2018) Attacks on the AJPS Mersenne-based cryptosystem.

In Lange, T. Steinwandt, R. (Eds.), Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings (pp 101-120) (Lecture Notes in Computer Science, Vol. 10786). Springer.

de Bruin, B.P. (2001) Wittgenstein's Philosophy of Mathematics and the Search for Extraterrestrial Intelligence.

In Proceedings of the International Wittgenstein Symposium 2001 (pp 184-189)

de Bruin, B.P. (2002) Afscheid van een Spinozaproject.

Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 91 (pp 159-161)

Article | UvA-DARE

de Bruin, B.P. (2002) Filosofie en Empirie.

In Bartsch, R. (Eds.), Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag. Amsterdam University Press.

de Bruin, B.P. (2004) Explaining games : on the logic of game theoretic explanations.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

de Bruin, J., Scha, R.J.H. (2003) Algoritmische kunst spot met museale waarden.

In de Boer, C. (Eds.), Concrete Kunst & Mathematiek. Mondriaanhuis.

de Bruin, J., Scha, R.J.H. (2003) Algoritmische architectuur is toegepaste toevalskunst.

Automatisering gids, Vol. april 2003

Article | UvA-DARE

de Bruin, J., Scha, R.J.H. (2003) Iedereen zijn eigen dj.

Automatisering gids, Vol. June 2003

Article | UvA-DARE

De Cao, N., Aziz, W., Titov, I. (2019) Question answering by reasoning across documents with graph convolutional networks.

In Burstein, J. Doran, C. Solorio, T. (Eds.), The 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: NAACL HLT 2019 : proceedings of the conference : June 2-June 7, 2019 (pp 2306-2317). The Association for Computational Linguistics.