Adriaans, P.W. (2003) From knowledge-based to skill-based systems, sailing as a machine learning challenge.

In Mada Lavrac, L.T. Gamberger, Dragan (Eds.), Machine Learning: ECML 2003: 14th European Conference on Machine Learning (pp 1-8). Springer-Verlag Heidelberg.

Adriaans, P.W. (2003) Robot op zee.

Boom.

Book | UvA-DARE

Adrian, K. Bilgin, A. Van Eecke, P. (2016) A Semantic Distance based Architecture for a Guesser Agent in ESSENCE's Location Taboo Challenge.

In Diversity @ ECAI 2016: International Workshop on Diversity-Aware Artificial Intelligence : The Hague, Netherlands, 29th August 2016 : workshop proceedings (pp 33-39). ECAI.

Aerts, D. Smets, S. Van Bendegem, J.P. (2010) The Contributions of Logic to the Foundations of Physics: Foreword.

Studia Logica, Vol. 95 (pp 1-3)

Editorial | https://doi.org/10.1007/s11225-010-9248-4 | UvA-DARE

Aerts, Diederik Broekaert, Jan Smets, Sonja (1998) Inconsistencies in constituent theories of world views: Quantum mechanical examples.

Foundations of Science, Vol. 3 (pp 313-340)

Article | https://doi.org/10.1023/A:1009686326442 | UvA-DARE

Aerts, Diederik Broekaert, Jan Smets, Sonja (1999) A quantum structure description of the liar paradox.

International Journal of Theoretical Physics, Vol. 38 (pp 3231-3239)

Article | https://doi.org/10.1023/A:1026686316673 | UvA-DARE

Aerts, Diederik Broekaert, Jan Smets, Sonja (1999) The liar-paradox in a quantum mechanical perspective.

Foundations of Science, Vol. 4 (pp 115-132)

Article | https://doi.org/10.1023/A:1009610326206 | UvA-DARE

Afanasiev, L. Blackburn, P. Dimitriou, I. Gaiffe, B. Goris, E. Marx, M.J. de Rijke, M. (2004) PDL for ordered trees.

Journal of Applied Non-Classical Logics, Vol. 2 (pp 115-135)

Article | UvA-DARE

Afanasiev, L. Franceschet, M. Marx, M.J. de Rijke, M. (2004) CTL model checking for processing simple XPath queries.

In Proceedings Temporal Representation and Reasoning. IEEE Computer Society Press.

Afshari, B. Enqvist, S. Leigh, G.E. (2024) Cyclic proofs for the first-order μ-calculus.

Logic Journal of the IGPL, Vol. 32 (pp 1–34)

Article | https://doi.org/10.1093/jigpal/jzac053 | UvA-DARE

Afshari, B. Hetzl, S. Leigh, G.E. (2020) Herbrand's theorem as higher order recursion.

Annals of Pure and Applied Logic, Vol. 171

Article | https://doi.org/10.1016/j.apal.2020.102792 | UvA-DARE

Afshari, B. Jäger, G. Leigh, G.E. (2019) An infinitary treatment of full mu-calculus.

In Iemhoff, R. Moortgat, M. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp 17-34) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11541). Springer.

Afshari, B. Leigh, G.E. Menéndez Turata, G. (2021) Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.

In Das, A. Negri, S. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp 335-353) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 12842). Springer.

Afshari, B. Leigh, G.E. Menéndez Turata, G. (2023) A Cyclic Proof System for Full Computation Tree Logic.

In Klin, B. Pimentel, E. (Eds.), 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland (Leibniz International Proceedings in Informatics, Vol. 252). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Afshari, B. Leigh, G.E. (2022) Lyndon interpolation for modal μ-calculus.

In Özgün, A. Zinova, Y. (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp 197–213) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 13206). Springer.

Afshari, B. Leigh, Graham E. (2019) Direct interpolation for modal mu-calculus.

In Proceedings of the Tbilisi Symposia on Language, Logic and Computation

Afshari, B. Wehr, D. (2022) Abstract Cyclic Proofs.

In Ciabattoni, A. Pimentel, E. de Queiroz, R.J.G.B. (Eds.), Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings (pp 309–325) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 13468). Springer.

Afshari, B. Wehr, D. (2023) Exact bounds for acyclic higher-order recursion schemes.

Information and Computation, Vol. 290

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

Aglionby, Guy Davis, Christopher Mishra, Pushkar Caines, Andrew Yannakoudakis, Helen Rei, Marek Shutova, Ekaterina Buttery, Paula (2019) CAMsterdam at SemEval-2019 task 6: Neural and graph-based feature extraction for the identification of offensive tweets.

In NAACL HLT 2019 - International Workshop on Semantic Evaluation, SemEval 2019, Proceedings of the 13th Workshop (pp 556-563). Association for Computational Linguistics (ACL).

Agostini, A. Aiello, M. (1999) Teaching via the web: A self-evaluation game using java for learning logical equivalence.

In Proceedings of WebNet99 (pp 75-80). AACE.