Adriaans, P. (2002) Production Control.

In Handbook of Data Mining and Knowledge Discovery (pp 741-748). Oxford University Press.

Adriaans, P. (2002) Multimedia, Het Gezicht van de Toekomst, op weg naar een perfecte synergie tussen mens en computer.

Next Generation Scenario, Ministerie van Economische Zaken.

Report | UvA-DARE

Adriaans, P. (2002) Backgrounds and General Trends.

In Dealing with the Data Flood (pp 16-25). STT Beweton.

Adriaans, P. (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. (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, Diederik, Broekaert, Jan, Smets, S. (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, S. (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, S. (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

Aerts, Diederik, 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

Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M., 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., 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, N.J.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. (2019) Direct interpolation for modal mu-calculus.

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

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., 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.