Fernández, R. (2010) Early interpretation by implicature in definite referential descriptions.

In Łupkowski, P. Purver, M. (Eds.), Aspects of Semantics and Pragmatics of Dialogue: SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue (pp 111-118). Polish Society for Cognitive Science.

Fernández, R. (2011) Incremental Resolution of Relative Adjectives: A DRT-based Approach.

Abstract | UvA-DARE

Fernández, R. (2013) Dialogue.

Oxford Bibliographies, Vol. Linguistics

Article | https://doi.org/10.1093/OBO/9780199772810-0126 | UvA-DARE

Fernández, R. (2013) Rethinking Overspecification in Terms of Incremental Processing.

In PRE-CogSci 2013: Production of Referring Expressions: Bridging the Gap between Cognitive and Computational Approaches to Reference : 31 July 2013, Berlin, Germany : workshop program & proceedings . Tilburg centre for Cognition and Communication, Tilburg University.

Fernández, R. (2022) Dialogue.

In Mitkov, R. (Eds.), The Oxford Handbook of Computational Linguistics (pp 179–204 ). Oxford University Press.

Ferrari, Filippo, Incurvati, L. (2022) The Varieties of Agnosticism.

Philosophical Quarterly, Vol. 72 (pp 365-380)

Article | UvA-DARE

Ferreira, F., Hyland, M., Löwe, B., Mayordomo, E. (2012) Computability in Europe 2010.

Annals of Pure and Applied Logic, Vol. 163 (pp 621-742)

Special issue (Editorship) | https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/6 | UvA-DARE

Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (2010) Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings.

Lecture Notes in Computer Science, Vol. 6158. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-13962-8 | UvA-DARE

Ferreira, F., Löwe, B., Mayordomo, E. (2012) CiE: Programs, Proofs, Processes.

Theory of Computing Systems, Vol. 51 (pp 267-400)

Special issue (Editorship) | https://link.springer.com/journal/224/51/3/page/1 | UvA-DARE

Ferreira, P., Titov, I., Aziz, W. (2025) Explanation Regularisation through the Lens of Attributions.

In Rambow, O. Wanner, L. Apidianaki, M. Al-Khalifa, H. Di Eugenio, B. Schockaert, S. (Eds.), The 31st International Conference on Computational Linguistics : proceedings of the main conference: COLING 2025 : January 19-24, 2025 (pp 6530–6551). Association for Computational Linguistics.

Fervari, R., Velazquez Quesada, F.R., Wang, Y. (2017) Bisimulations for knowing how logics.

In Proceedings 5th International Workshop on Strategic Reasoning SR 2017

Fervari, R., Velázquez-Quesada, F.R. (2018) Dynamic Epistemic Logics of Introspection.

In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 82-97) (Lecture Notes in Computer Science, Vol. 10669). Springer.

Fervari, R., Velázquez-Quesada, F.R. (2019) Introspection as an action in relational models.

Journal of Logical and Algebraic Methods in Programming, Vol. 108 (pp 1-23)

Article | https://doi.org/10.1016/j.jlamp.2019.06.005 | UvA-DARE

Figueroa, D., van den Berg, B. (2022) A topos for continuous logic.

Theory and Applications of Categories, Vol. 38 (pp 1108–1135)

Article | http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html | UvA-DARE

Filgueira, R., Jackson, M., Roubickova, A., Krause, A., Ahnert, R., Hauswedell, T., Nyhan, J., Beavan, D., Hobson, T., Ardanuy, M.C., Colavizza, G., Hetherington, J., Terras, M. (2019) defoe: A Spark-based Toolbox for Analysing Digital Historical Textual Data.

In IEEE 15th International Conference on eScience: proceedings : 24-27 September 2019, San Diego, California (pp 235-242). IEEE Computer Society.

Finkensiep, C., Ericson, Petter, Klassmann, Sebasian, Rohrmeier, M. (2025) Chord Types and Figuration: A Bayesian Learning Model of Extended Chord Profiles.

Music and Science, Vol. 8

Article | https://doi.org/10.1177/20592043241291661 | UvA-DARE

Finkensiep, C., Haeberle, M., Eisenbrand, F., Neuwirth, M., Rohrmeier, M. (2023) Repetition-Structure Inference With Formal Prototypes.

In Sarti, A. Antonacci, F. Sandler, M. Bestagini, P. Dixon, S. Liang, B. Richard, G. Pauwels, J. (Eds.), Proceedings of the 24th International Society for Music Information Retrieval Conference: Milan, Italy, November 5-9, 2023 (pp 383-390). ISMIR.

Finkensiep, C., Neuwirth, M., Rohrmeier, M. (2025) Music Theory and Model-Driven Corpus Research.

In Shanahan, Daniel Burgoyne, John Ashley Quinn, Ian (Eds.), The Oxford Handbook of Music and Corpus Studies (Oxford Handbooks). Oxford University Press.

Finkensiep, C., Rohrmeier, M. (2025) An Annotation Interface for Protovoice Analysis.

Abstract | https://doi.org/10.17613/9zd5y-w3z31 | UvA-DARE

Finkensiep, C. (2024) Inferring Musical Structure: A Hybrid Approach Combining Probabilistic Models and Reinforcement Learning.

Abstract | https://escholarship.org/uc/item/5g10x1pv | UvA-DARE