uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Gierasimczuk, N., de Jongh, D. (2012) On the Complexity of Conclusive Update.
    Paper | UvA-DARE
  • Gierasimczuk, N., de Jongh, D. (2013) On the Complexity of Conclusive Update.
    Computer Journal, Vol. 56 (pp 365-377)
  • Gierasimczuk, N., Hendricks, V.F., de Jongh, D. (2014) Logic and Learning.
    In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 267-288) (Outstanding contributions to logic, Vol. 5). Springer.
  • Gierasimczuk, N., Kalociński, D., Mostowski, M. (2015) Quantifier Learning: An Agent-based Coordination Model.
    Paper | UvA-DARE
  • Gierasimczuk, N., Kurzen, L., Velázquez-Quesada, F.R. (2009) Learning and teaching as a game: A sabotage approach.
    In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 119-132) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.
  • 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) 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., 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., 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
1 ... 127 128 129 130 131 132 133 134 135 ... 337

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