Bader, S., Hitzler, P., Hölldobler, S., Witzel, S.A. (2007) The Core Method: Connectionist Model Generation for First-Order Logic Programs.

In Hammer, B. Hitzler, P. (Eds.), Perspectives of Neural-Symbolic Integration (pp 205-232) (Studies in Computational Intelligence). Springer.

Bader, S., Hitzler, P., Hölldobler, S., Witzel, S.A. (2007) A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (pp 666-671)

Badura, C., Berto, F. (2019) Truth in Fiction, Impossible Worlds, and Belief Revision.

Australasian Journal of Philosophy, Vol. 97 (pp 178-193)

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

Badura, Chris, Schoonen, T. (2021) Imagining disjunctions by cases.

Junkyard of the Mind blog.

Web publication or website | UvA-DARE

Baelemans, M.C.E., Vélez Vásquez, M.A., Burgoyne, J.A. (2023) Defining Playability in Musical Performance: Cognitive Factors and Implications for Automated Song Difficulty Estimation.

In The 16th International Conference of Students of Systematic Musicology

Baeten, J., Candela, L., Fava, I., Kirchner, C., Mettrop, W., Romary, L., Schultze, L. (2015) BOM@ERCIM - Towards an open access policy For ERCIM.

ERCIM, The European Research Consortium for Informatics and Mathematics.

Report | http://www.ercim.eu/images/stories/pub/BOMatERCIM.pdf | UvA-DARE

Baeten, J., Luttik, B., Yang, F. (2017) Sequential composition in the presence of intermediate termination: extended abstract.

Electronic Proceedings in Theoretical Computer Science, Vol. 255 (pp 1-17)

Article | https://doi.org/10.4204/EPTCS.255.1 | UvA-DARE

Baeten, J., Markovski, J. (2015) The Role Of Supervisory Controller Synthesis In Automatic Control Software Development.

Science of Computer Programming, Vol. 97 (pp 17-22)

Article | https://doi.org/10.1016/j.scico.2013.11.016 | UvA-DARE

Baeten, J.C.M., Luttik, B., Muller, T., van Tilburg, P. (2016) Expressiveness Modulo Bisimilarity Of Regular Expressions With Parallel Composition.

Mathematical Structures in Computer Science, Vol. 26 (pp 933-968)

Article | https://doi.org/10.1017/S0960129514000309 | UvA-DARE

Baeten, J.C.M., Luttik, B., van Tilburg, P. (2011) Reactive Turing machines.

In Owe, O. Steffen, M. Telle, J.A. (Eds.), Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings (pp 348-359) (Lecture Notes in Computer Science, Vol. 6914). Springer.

Baeten, J.C.M., Luttik, B., van Tilburg, P. (2012) Turing meets Milner.

In Koutny, M. Ulidowski, I. (Eds.), CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings (pp 1-20) (Lecture Notes in Computer Science, Vol. 7454). Springer.

Baeten, J.C.M., Luttik, B., van Tilburg, P. (2013) Reactive Turing machines.

Information and Computation, Vol. 231 (pp 143-166)

Article | https://doi.org/10.1016/j.ic.2013.08.010 | UvA-DARE

Baeten, J.C.M., van Beek, B., Markovski, J., Somers, L.J.A.M. (2015) Coordination Control Of Complex Machines.

In van Schuppen, J.H. Villa, T. (Eds.), Coordination control of distributed systems (pp 61-68) (Lecture notes in control and information sciences, Vol. 456). Springer.

Bagaria, J., Väänänen, J. (2016) On the symbiosis between model-theoretic and set-theoretic properties of large cardinals.

Journal of Symbolic Logic, Vol. 81 (pp 584-604)

Article | https://doi.org/10.1017/jsl.2015.60 | UvA-DARE

Baggio, G., Choma, T., van Lambalgen, M., Hagoort, P. (2010) Coercion and Compositionality.

Journal of Cognitive Neuroscience, Vol. 22 (pp 2131-2140)

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

Baggio, G., van Lambalgen, M., Hagoort, P. (2008) Computing and recomputing discourse models: An ERP study.

Journal of Memory and Language, Vol. 59 (pp 36-53)

Article | https://doi.org/10.1016/j.jml.2008.02.005 | UvA-DARE

Baggio, G., van Lambalgen, M., Hagoort, P. (2012) Language, linguistics and cognition.

In Kempson, R. Fernando, T. Asher, N. (Eds.), Philosophy of Linguistics (pp 325-355) (Handbook of the philosophy of science, Vol. 14). Elsevier.

Baggio, G., van Lambalgen, M., Hagoort, P. (2012) The processing consequences of compositionality.

In Werning, M. Hinzen, W. Machery, E. (Eds.), Oxford Handbook of Compositionality (pp 655-672) (Oxford handbooks in linguistics). Oxford University Press.

Baggio, G., van Lambalgen, M., Hagoort, P. (2015) Logic as Marr's computational level: four case studies.

Topics in Cognitive Science, Vol. 7 (pp 287-298)

Article | https://doi.org/10.1111/tops.12125 | UvA-DARE

Bais, O.B., Bouwer, F.L., Sadakata, M. (2023) Exact repetition is not needed for the Speech-to-song transformation.

Abstract | UvA-DARE