uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Kamps, J. (2018) Taking Time Seriously: Diachronic Collections in Digital Libraries: Keynote abstract.
    In Caputo, A. Kanhabua, N. Basile, P. Lawless, S. Gavrilis, D. Papatheodorou, C. Gîfu, D. Trandabat, D. (Eds.), Joint Proceedings of the 1st Workshop on Temporal Dynamics in Digital Libraries (TDDL 2017), the (Meta)-Data Quality Workshop (MDQual 2017) and the Workshop on Modeling Societal Future (Futurity 2017): co-located with 21st International Conference on Theory and Practice of Digital Libraries (TPLD 2017) : Thessaloniki, Greece, September 21, 2017 (CEUR Workshop Proceedings, Vol. 2038). CEUR-WS.
  • Kanazawa, M. (1994) Learnable Classes of Categorial Grammars.
    Thesis, internally prepared | UvA-DARE
  • Kaniewski, J., Lee, T., de Wolf, R. (2015) Query complexity in expectation.
    In Halldórsson, M.M. Iwama, K. Kobayashi, N. Speckmann, B. (Eds.), Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings (pp 761-772) (Lecture Notes in Computer Science
    Advanced Research in Computing and Software Science, Vol. 9134). Springer.
  • Kann, Christoph, Löwe, Benedikt, Rode, Christian, Uckelman, Sara L. (2018) Medieval Logic and Modern Applied Logic.
    Recherches de Théologie et Philosophie Médiévales Bibliotheca, Vol. 11. Peeters.
    Book (Editorship) | UvA-DARE
  • Kanneworff, Kirsten, Poortvliet, Mio, Bouwmeester, Dirk, Allerstorfer, Rene, Verduyn Lunel, Philip, Speelman, F., Buhrman, H., Steindl, Petr, Löffler, Wolfgang (2025) Towards experimental demonstration of quantum position verification using single photons.
    Quantum Science and Technology, Vol. 10
  • Kanovei, V.G., van Lambalgen, M. (1997) On a spector ultrapower of the solovay model.
    Mathematical Logic Quarterly, Vol. 43 (pp 389-395)
  • Kappé, T. (2023) Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.
    In Glück, R. Santocanale, L. Winter, M. (Eds.), Relational and Algebraic Methods in Computer Science (RAMiCS) 2023: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023 : proceedings (pp 158-175) (Lecture Notes in Computer Science, Vol. 13896). Springer.
  • Kappé, T.W.J. (2022) Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization).
  • Kappé, T.W.J. (2022) Leapfrog: certified equivalence for protocol parsers (Coq formalization).
  • Kaptein, A.M., Hiemstra, D., Kamps, J. (2011) How different are language models and word clouds?.
    In DIR 2011: Dutch_Belgian Information Retrieval Workshop Amsterdam (pp 52-53). University of Amsterdam, Information and Language Processing group.
  • Kaptein, A.M., Kamps, J. (2011) Explicit extraction of topical context.
    Journal of the American Society for information Science and Technology, Vol. 62 (pp 1548-1563)
  • Kaptein, A.M., Serdyukov, P., de Vries, A.P., Kamps, J. (2011) Entity ranking using Wikipedia as a pivot.
    In DIR 2011: Dutch_Belgian Information Retrieval Workshop Amsterdam (pp 54-55). University of Amsterdam, Information and Language Processing group.
  • Kaptein, A.M. (2007) Focused Retrieval Using Topical Language and Structure.
    In Proceedings BCS IRSG Symposium: Future Directions in Information Access (FDIA 2007) (pp 55-60). Glasgow, Scotland.
  • Kaptein, A.M. (2011) Effective focused retrieval by exploiting query context and document structure.
    IR Publications.
    Thesis, fully internal | UvA-DARE
  • Kaptein, R., Hiemstra, D., Kamps, J. (2010) How different are language models and word clouds?.
    In Gurrin, C. He, Y. Kazai, G. Kruschwitz, U. Little, S. Roelleke, T. Rüger, S. van Rijsbergen, K. (Eds.), Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010: proceedings (pp 556-568) (Lecture Notes in Computer Science, Vol. 5993). Springer.
  • Kaptein, R., Kamps, J., Hiemstra, D. (2009) The impact of positive, negative and topical relevance feedback.
    In Voorhees, E.M. Buckland, L.P. (Eds.), The seventeenth Text REtrieval Conference (TREC 2008) proceedings. National Institute of Standards and Technology.
  • Kaptein, R., Kamps, J., Li, R., Hiemstra, D. (2008) Experiments with positive, negative and topical relevance feedback.
    In The seventeenth Text REtrieval Conference (TREC 2008) notebook (pp 1-5). National Institute of Standards and Technology.
  • Kaptein, R., Kamps, J. (2008) Improving information access by relevance and topical feedback.
    In Hopfgartner, F. (Eds.), Second International Workshop on Adaptive Information Retrieval (AIR): London, United Kingdom, 18th October 2008: Proceedings (pp 58-63)
  • Kaptein, R., Kamps, J. (2009) Using links to classify Wikipedia pages.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers (pp 432-435) (Lecture Notes in Computer Science, Vol. 5631). Springer.
  • Kaptein, R., Kamps, J. (2009) Finding entities in Wikipedia using links and categories.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers (pp 273-279) (Lecture Notes in Computer Science, Vol. 5631). Springer.
1 ... 170 171 172 173 174 175 176 177 178 ... 341

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