uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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)
  • Dutilh Novaes, C. (2007) Contradiction: the real challenge for paraconsistent logic.
    In Beziau, J.Y. Carnielli, W.A. Gabbay, D. (Eds.), Handbook of Paraconsistency. College Publications.
    Chapter | UvA-DARE
  • Dutilh Novaes, C. (2007) Theory of Supposition vs. Theory of Fallacies in Ockham.
    Vivarium, Vol. 45 (pp 343-359)
  • Dutilh Novaes, C. (2008) Logic in the 14th century after Ockham.
    In Gabbay, D.M. Woods, J. (Eds.), Mediaeval and renaissance logic (pp 433-504) (Handbook of the history of logic). North-Holland.
1 ... 109 110 111 112 113 114 115 116 117 ... 346

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