uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • Girard, P. (2008) Modal Logic for Belief and Preference Change.
    Thesis, fully external | UvA-DARE
  • Girlando, M., Kuznets, R., Marin, S., Morales, M., Straßburger, L. (2024) A simple loopcheck for intuitionistic K.
    In Metcalfe, G. Studer, T. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 : proceedings (pp 47-63) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 14672). Springer.
  • Girlando, M., Negri, S., Sbardolini, G. (2019) Uniform Labelled Calculi for Conditional and Counterfactual Logics.
    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 248-263) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 11541). Springer.
  • Gitik, M., Löwe, B. (1999) Cofinalities of linear orders.
    Order, Vol. 16 (pp 105-111)
1 ... 124 125 126 127 128 129 130 131 132 ... 327

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