uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Dormans, J. (2012) Engineering emergence: applied theory for game design.
    Creative Commons.
    Thesis, externally prepared | UvA-DARE
  • Dorn, B., de Haan, R., Schlotter, I. (2017) Obtaining a Proportional Allocation by Deleting Items.
    In Röthe, J. (Eds.), Algorithmic Decision Theory: 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017 : proceedings (pp 284-299) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 10576). Springer.
  • Dorn, B., de Haan, R., Schlotter, I. (2021) Obtaining a Proportional Allocation by Deleting Items.
    Algorithmica, Vol. 83 (pp 1559–1603)
  • Dorst, L., van Lambalgen, M., Voorbraak, F.P.J.M. (1994) Reasoning with Uncertainty in Robotics.
    University of Amsterdam.
    Book (Editorship) | UvA-DARE
  • Dotlačil, J., Roelofsen, F. (2019) Dynamic inquisitive semantics: anaphora and questions.
    In Espinal, M.T. Castroviejo, E. Leonetti, M. McNally, L. Real-Puigdollers, C. (Eds.), Proceedings of Sinn und Bedeutung 23 (pp 365-382). Universitat Autònoma de Barcelona.
  • Dotlačil, J., Roelofsen, F. (2020) A dynamic semantics of single-wh and multiple-wh questions.
    Proceedings from Semantics and Linguistic Theory, Vol. 30 (pp 376-395)
  • Dotlačil, J., Szymanik, J., Zajenkowski, M. (2014) Probabilistic semantic automata in the verification of quantified statements.
    In Bello, P. Guarini, M. McShane, M. Scassellati, B. (Eds.), CogSci 2014: cognitive science meets artificial intelligence: human and artifical agents in interactive contexts: 36th Annual Cognitive Science Conference: Quebec City, Canada, Jul 23-Jul 26 (pp 2967-2972). Cognitive Science Society.
  • Douven, I., Elqayam, S., Krzyżanowska, K. (2023) Inferentialism: A Manifesto.
    In Kaufmann, S. Over, D.E. Sharma, G. (Eds.), Conditionals: Logic, linguistics, and psychology (pp 175-221) (Palgrave Studies in Pragmatics, Language and Cognition). Palgrave Macmillan.
  • Douven, I., Elqayam, S., Krzyżanowska, K. (2024) The experimental philosophy of logic and formal epistemology: Conditionals.
    In Bauer, A.M. Kornmesser, S. (Eds.), The Compact Compendium of Experimental Philosophy (pp 211-235) (De Gruyter Reference). De Gruyter.
  • Douven, I., Krzyżanowska, K. (2019) The semantics-pragmatics interface: An empirical investigation.
    In Capone, A. Carapezza, M. Lo Piparo, F. (Eds.), Further Advances in Pragmatics and Philosophy. - Part 2: Theories and Applications (pp 81-100) (Perspectives in Pragmatics, Philosophy & Psychology, Vol. 20). Springer.
  • Drucker, A., de Wolf, R. (2011) Uniform approximation by (quantum) polynomials.
    Quantum Information & Computation, Vol. 11 (pp 215-225)
  • Drucker, A., de Wolf, R. (2011) Quantum proofs for classical theorems.
    Theory of Computing, Vol. Theory of Computing Library, Graduate Surveys
  • Du, Y., Holla, N., Zhen, X., Snoek, C.G.M., Shutova, E. (2021) Meta-Learning with Variational Semantic Memory for Word Sense Disambiguation.
    In Zong, C. Xia, F. Li, W. Navigli, R. (Eds.), The 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing: ACL-IJCNLP 2021 : proceedings of the conference : August 1-6, 2021 (pp 5254-5268). The Association for Computational Linguistics.
  • Dulek, Y., Grilo, A.B., Jeffery, S., Majenz, C., Schaffner, C. (2020) Secure multi-party quantum computation with a dishonest majority.
    In Canteaut, A. Ishai, Y. (Eds.), Advances in Cryptology – EUROCRYPT 2020: 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10–14, 2020 : proceedings (pp 729-758) (Lecture Notes in Computer Science, Vol. 12107). Springer.
  • Dulek, Y., Schaffner, C., Speelman, F. (2016) Quantum homomorphic encryption for polynomial-sized circuits.
    In Robshaw, M. Katz, J. (Eds.), Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings (pp 3-32) (Lecture Notes in Computer Science, Vol. 9816). Springer.
  • Dulek, Y., Schaffner, C., Speelman, F. (2018) Quantum homomorphic encryption for polynomial-size circuits.
    Theory of Computing, Vol. 14
  • Dulek, Y., Speelman, F. (2018) Quantum Ciphertext Authentication and Key Recycling with the Trap Code.
    In Jeffery, S. (Eds.), 13th Conference on the Theory of Quantum Computation, Communication and Cryptography: TQC 2018, July 16-18, 2018, Sydney, Australia (Leibniz International Proceedings in Informatics, Vol. 111). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Dulek, Y.M. (2021) Delegated and distributed quantum computation.
    ILLC dissertation series. Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Dunn, M., Gehrke, M., Palmigiano, A. (2005) Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics.
    Journal of Symbolic Logic, Vol. 70 (pp 713-740)
  • Dutilh Novaes, C., Read, S. (2008) Insolubilia and the fallacy secundum quid et simpliciter.
    Vivarium, Vol. 46 (pp 175-191)
1 ... 98 99 100 101 102 103 104 105 106 ... 311

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