uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Airiau, S. Sen, S. (2009) A fair payoff distribution for myopic rational agents.
    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 1305-1306). IFAAMAS.
  • Airiau, S. Sen, S. (2010) Distributed computation of Kernel-stable coalition payoff distributions.
    In Proceedings of the 1st Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2010), Toronto, Canada
    Conference contribution | UvA-DARE
  • Airiau, S. Sen, S. (2010) On the stability of an optimal coalition structure.
    In Coelho, H. Studer, R. Wooldridge, M. (Eds.), 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal (pp 203-208). IOS Press.
  • Airiau, S. (2013) Cooperative Games and Multiagent Systems.
    Knowledge Engineering Review, Vol. 28 (pp 381-424)
  • Alagic, G. Brakerski, Z. Dulek, Y. Schaffner, C. (2021) Impossibility of Quantum Virtual Black-Box Obfuscation of Classical Circuits.
    In Malkin, T. Peikert, C. (Eds.), Advances in Cryptology – CRYPTO 2021: 41st Annual International Cryptology Conference, CRYPTO 2021, virtual event, August 16–20, 2021 : proceedings (pp 497-525) (Lecture Notes in Computer Science, Vol. 12825). Springer.
  • Alagic, G. Broadbent, A. Fefferman, B. Gagliardoni, T. Schaffner, C. St. Jules, M. (2016) Computational security of quantum encryption.
    In Nascimento, A.C.A. Barreto, P. (Eds.), Information Theoretic Security: 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9–12, 2016 : revised selected papers (pp 47-71) (Lecture Notes in Computer Science, Vol. 10015). Springer.
  • Alagic, G. Dulek, Y. Schaffner, C. Speelman, F. (2017) Quantum Fully Homomorphic Encryption with Verification.
    In Takagi, T. Peyrin, T. (Eds.), Advances in Cryptology – ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings (pp 438-467) (Lecture Notes in Computer Science, Vol. 10624). Springer.
  • Alagic, G. Jeffery, S. Ozols, M. Poremba, A. (2020) On quantum chosen-ciphertext attacks and learning with errors.
    Cryptography, Vol. 4
  • Alama, J. Knoks, A. Uckelman, S.L. (2011) Dialogue games for classical logic.
    In Giese, M. Kuznets, R. (Eds.), TABLEAUX 2011: Workshops, Tutorials, and Short Papers (pp 82-86). Universität Bern.
  • Alberti, G. Balogh, K. Dekker, P.J.E. (2002) Proceedings of the Seventh Symposium on Logic and Language.
    Pécs University.
    Book (Editorship) | UvA-DARE
  • Alberts, H. Huang, N.T. Deshpande, Y.R. Liu, Y. Cho, K. Vania, C. Calixto, I. (2021) VisualSem: a high-quality knowledge graph for vision and language.
    In Ataman, D. Birch, A. Conneau, A. Firat, O. Ruder, S. Sahin, G.G. (Eds.), The 1st Workshop on Multilingual Representation Learning: MRL 2021 : proceedings of the conference : November 11, 2021 (pp 138-152). The Association for Computational Linguistics.
  • Alechina, N. Demri, S. de Rijke, M. (2003) A modal perspective on path constraints.
    Journal of Logic and Computation, Vol. 13 (pp 939-956)
  • Alechina, N. Liu, F. Logan, B. (2018) Efficient Minimal Preference Change.
    Journal of Logic and Computation, Vol. 28 (pp 1715–1733)
  • Alechina, N.A. de Rijke, M. (1998) Describing and Querying semistructured data: some expressiveness results.
    In Advances in databases (-). Springer.
    Chapter | UvA-DARE
  • Alechina, N.A. Demri, S. de Rijke, M. (2001) Path constraints from a modal logic point of view.
    In Proceedings KRDB 2001
    Conference contribution | UvA-DARE
  • Alechina, N.A. van Lambalgen, M. (1995) Correspondence and Completeness for Generalized Quantifiers.
    Logic Journal of the IGPL, Vol. 3 (pp 167-190)
    Article | UvA-DARE
  • Alechina, N.A. van Lambalgen, M. (1995) Generalized quantification as substructural logic.
    Technical Report. onbekend (FdL).
    Report | UvA-DARE
  • Alechina, N.A. van Lambalgen, M. (1995) Generalized quantification as substructural logic.
    technical Report. onbekend (FdL).
    Report | UvA-DARE
  • Alechina, N.A. van Lambalgen, M. (1996) Generalized quantification as substructural logic.
    Journal of Symbolic Logic, Vol. 61 (pp 1006-1044)
  • Alechina, N.A. (1995) On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic.
    Journal of Logic, Language and Information, Vol. 4 (pp 177-189)
    Article | UvA-DARE
1 2 3 4 5 6 7 8 9 10 ... 307

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