Searchable List of Research Output

Filter Publications
  • 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.
  • Ginzburg, J., Fernández, R., Schlangen, D. (2013) Self-Addressed Questions in Disfluencies.
    In Eklund, R. (Eds.), Proceedings of DiSS 2013: The 6th Workshop on Disfluency in Spontaneous Speech (pp 33-36) (1, Vol. 54)
    Conference contribution | UvA-DARE
  • Ginzburg, J., Fernández, R., Schlangen, D. (2014) Disfluencies as Intra-Utterance Dialogue Moves.
    Semantics and Pragmatics, Vol. 7
  • Ginzburg, J., Fernández, R. (2010) Computational models of dialogue.
    In Clark, A. Fox, C. Lappin, S. (Eds.), The handbook of computational linguistics and natural language processing (pp 429-481) (Blackwell handbooks in linguistics). Wiley-Blackwell.
  • Gionvannucci, A., Cerquides, J., Endriss, U., Rodríguez-Aguilar, J.A. (2010) A graphical formalism for mixed multi-unit combinatorial auctions.
    Autonomous Agents and Multi-Agent Systems, Vol. 20 (pp 342-368)
  • Giovannucci, A., Cerquides, J., Endriss, U., Vinyals, M., Rodriguez, J.A., Rosell, B. (2009) A mixed multi-unit combinatorial auctions test suite.
    In Decker, K.S. Sichman, J.S. Sierra, C. Castelfranchi, C. (Eds.), AAMAS 2009: the 8th International Conference on Autonomous Agents and Multiagent Systems: May 10-15, 2009, Budapest, Hungary: proceedings. - Volume 2 (pp 1389-1390). IFAAMAS.
  • Giovannucci, A., Rodríguez-Aguilar, J.A., Cerquides, J., Endriss, U. (2007) Winner Determination for Mixed Multi-unit Combinatorial Auctions via Petri Nets.
    In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007) (pp 1-8). ACM Press.
    Conference contribution | UvA-DARE
  • Giovannucci, A., Rodríguez-Aguilar, J.A., Vinyals, M., Cerquides, J., Endriss, U. (2007) Mixed Multi-unit Combinatorial Auctions for Supply Chain Management.
    SIGecom Exchanges, Vol. 7 (pp 58-60)
    Article | 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