uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Gierasimczuk, N., Smets, S., Christoff, Z.L., Galeazzi, P. (2014) Logic and Interactive Rationality Yearbook 2012.
    ILLC, UvA.
    Book (Editorship) | UvA-DARE
  • Gierasimczuk, N., Szymanik, J. (2009) Branching quantification v. two-way quantification.
    Journal of Semantics, Vol. 26 (pp 367-392)
  • Gierasimczuk, N., Szymanik, J. (2011) A note on a generalization of the Muddy Children Puzzle.
    In Apt, K.R. (Eds.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp 257-264). ACM.
  • Gierasimczuk, N., Szymanik, J. (2011) Invariance properties of quantifiers and multiagent information exchange.
    In Kanazawa, M. Kornai, A. Kracht, M. Seki, H. (Eds.), The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings (pp 72-89) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 6878). Springer.
  • Gierasimczuk, N., van der Maas, H., Raijmakers, M. (2012) Logical and Psychological Analysis of Deductive Mastermind.
    In Szymanik, J. Verbrugge, R. (Eds.), Proceedings of the Logic & Cognition Workshop at ESSLLI 2012: Opole, Poland, 13-17 August, 2012 (pp 1-13) (CEUR Workshop Proceedings, Vol. 883). CEUR-WS.
    Conference contribution | http://ceur-ws.org/Vol-883/paper1.pdf | UvA-DARE
  • Gierasimczuk, N. (2007) The Problem of Learning the Semantics of Quantifiers.
    In ten Cate, B.D. Zeevat, H.W. (Eds.), Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005 : revised selected papers (pp 117-126) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 4363). Springer.
  • Gierasimczuk, N. (2009) Bridging learning theory and dynamic epistemic logic.
    Synthese, Vol. 169 (pp 371-384)
  • Gierasimczuk, N. (2009) Identification through inductive verification: Application to monotone quantifiers.
    In Bosch, P. Gabelaia, D. Lang, J. (Eds.), Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers (pp 193-205) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5422). Springer.
  • Gierasimczuk, N. (2009) Learning by Erasing in Dynamic Epistemic Logic.
    In Dediu, A.H. Ionescu, A.M. Martín-Vide, C. (Eds.), Language and Automata Theory and Applications: third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings (pp 362-373) (Lecture Notes in Computer Science, Vol. 5457). Springer.
  • Gierasimczuk, N. (2010) Knowing one's limits: logical analysis of inductive inference.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Gierasimczuk, N. (2013) Social Dynamics of Information Change.
  • Gierasimczuk, N. (2015) [Review of: N. Tennant (2012) Changes of mind: an essay on rational belief revision].
    Studia Logica, Vol. 103 (pp 227-231)
    Book/Film/Article/Exhibition review | https://doi.org/10.1007/s11225-015-9608-1 | UvA-DARE
  • Gieske, S., van der Pol, E., Endriss, U. (2015) Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation.
    Paper | UvA-DARE
  • Gilyén, A., Arunachalam, S., Wiebe, N. (2017) Optimizing quantum optimization algorithms via faster quantum gradient computation.
    ArXiv.
  • Gilyén, A., Sattath, O. (2017) On preparing ground states of gapped Hamiltonians: An efficient Quantum Lovász Local Lemma.
    In 58th Annual IEEE Symposium on Foundations of Computer Science: FOCS 2017 : proceedings : 15-17 October 2017, Berkeley, CA, USA (pp 439-450). IEEE Computer Society.
    Conference contribution | https://doi.org/10.1109/FOCS.2017.47 | UvA-DARE
  • Gilyén, A. (2019) Quantum Singular Value Transformation & Its Algorithmic Applications.
    Institute for Logic, Language and Computation.
    Thesis, externally prepared | UvA-DARE
  • Ginammi, A., Koopman, R., Wang, S., Bloem, J., Betti, A. (2022) Bolzano, Kant and the Traditional Theory of Concepts: A Computational Investigation.
    In Ramsey, G. De Block, A. (Eds.), The Dynamics of Science: Computational Frontiers in History and Philosophy of Science (pp 186-203). University of Pittsburgh Press.
  • Gingras, B., Honing, H., Peretz, I., Trainor, L.J., Fisher, S.E. (2015) Defining the biological bases of individual differences in musicality.
    Philosophical Transactions of the Royal Society B - Biological Sciences, Vol. 370
  • Gingras, B., Honing, H., Peretz, I., Trainor, L.J., Fisher, S.E. (2018) Defining the biological bases of individual differences in musicality.
    In Honing, H. (Eds.), The Origins of Musicality (pp 221–250). MIT Press.
  • Ginzburg, J., Fernández, R., Schlangen, D. (2012) On the Semantics and Pragmatics of Dysfluency.
    In Aloni, M. Kimmelman, V. Roelofsen, F. Sassoon, G.W. Schultz, K. Westera, M. (Eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21 2011: revised selected papers (pp 321-330) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 7218). Springer.
1 ... 116 117 118 119 120 121 122 123 124 ... 308

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