-
Adriaans, P.W. (2001) Learning Shallow Context-free Languages under Simple Distributions.In Ann Copestake Kees Vermeulen (Eds.), Algebras, Diagrams and Decisions in Language, Logic and Computation. CSLI/CUP.Conference contribution | UvA-DAREAdriaans, P.W. (2002) Production Control.In Handbook of Data Mining and Knowledge Discovery (pp 741-748). Oxford University Press.Chapter | UvA-DAREAdriaans, P.W. (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-DAREAdriaans, P.W. (2002) Backgrounds and General Trends.In Dealing with the Data Flood (pp 16-25). STT Beweton.Chapter | UvA-DAREAdriaans, 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-DAREAdriaans, P.W. (2003) Robot op zee.Boom.Book | UvA-DAREAdrian, 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.Conference contribution | http://www.ecai2016.org/content/uploads/2016/08/W13-diversity-2016.pdf#page=39 | UvA-DAREAerts, 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-DAREAerts, 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-DAREAerts, 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-DAREAerts, 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-DAREAfanasiev, 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-DAREAfanasiev, 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.Conference contribution | UvA-DAREAfshari, 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-DAREAfshari, B., Hetzl, S., Leigh, G.E. (2020) Herbrand's theorem as higher order recursion.Annals of Pure and Applied Logic, Vol. 171Article | https://doi.org/10.1016/j.apal.2020.102792 | UvA-DAREAfshari, 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.Conference contribution | https://doi.org/10.1007/978-3-662-59533-6_2 | UvA-DAREAfshari, 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.Conference contribution | https://doi.org/10.1007/978-3-030-86059-2_20 | UvA-DAREAfshari, 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.Conference contribution | https://doi.org/10.4230/LIPIcs.CSL.2023.5 | UvA-DAREAfshari, B., Leigh, G.E. (2019) Direct interpolation for modal mu-calculus.In Proceedings of the Tbilisi Symposia on Language, Logic and ComputationConference contribution | https://wollic2019.sites.uu.nl/programme-monday/ | UvA-DAREAfshari, 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.Conference contribution | https://doi.org/10.1007/978-3-030-98479-3_10 | UvA-DAREThe 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 illc at uva.nl