Searchable List of Research Output

Filter Publications
  • 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.
    Conference contribution | UvA-DARE
  • Adriaans, P.W. (2003) Robot op zee.
    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)
  • 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)
  • 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)
  • Aerts, Diederik Broekaert, Jan Smets, Sonja (1999) The liar-paradox in a quantum mechanical perspective.
    Foundations of Science, Vol. 4 (pp 115-132)
  • 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.
    Conference contribution | UvA-DARE
  • 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)
  • Afshari, B. Hetzl, S. Leigh, G.E. (2020) Herbrand's theorem as higher order recursion.
    Annals of Pure and Applied Logic, Vol. 171
  • 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
  • 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).
    Conference contribution | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact