uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Liu, F. (2016) 社会网络结构与主体认知变化的逻辑探讨.
    Zhexue Yanjiu (Philosophical Research)
    Article | UvA-DARE
  • Liu, Y., Titov, I., Lapata, M. (2019) Single Document Summarization as Tree Induction.
    In Burstein, J. Doran, C. Solorio, T. (Eds.), The 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: NAACL HLT 2019 : proceedings of the conference : June 2-June 7, 2019 (pp 1745-1755). The Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/N19-1173 | UvA-DARE
  • Loff Barreto, B.S. (2014) A medley for computational complexity: With applications of information theory, learning theory, and Ketan Mulmuley's parametric complexity technique.
    Thesis, externally prepared | UvA-DARE
  • Lonke, Dorielle, Bloem, J., Sommerauer, P. (2025) AnthroSet: a Challenge Dataset for Anthropomorphic Language Detection.
    In Przybyła, P. Shardlow, M. Colombatto, C. Inie, N. (Eds.), Proceedings of the First Interdisciplinary Workshop on Observations of Misunderstood, Misguided and Malicious Use of Language Models: associated with The 15th International Conference on Recent Advances in Natural Language Processing 2025 : OMMM 2025 : September 11th, 2025, Varna, Bulgaria (pp 27-39). INCOMA Ltd..
  • López Pérez, D., Ramotowska, S., Malinowska-Korczak, A., Haman, M., Tomalski, P. (2020) Working together to orient faster: The combined effects of alerting and orienting networks on pupillary responses at 8 months of age.
    Developmental Cognitive Neuroscience, Vol. 42
  • López, Luis, Laanen, Rodi, Pouw, C., Parafita Couto, M. Carmen (2025) Remarks on the syntax of bare nouns in Papiamentu.
    Journal of Pidgin and Creole Languages, Vol. 40 (pp 302-337)
  • Lowe, B., de Holanda Cunha Nobrega, H., Pauly, A. (2015) Game Characterizations and Weihrauch Degrees.
  • Löwe, B., Malzkorn, W., Räsch, Th. (2003) Foundations of the formal sciences II : applications of mathematical logic in philosophy and linguistics : papers of a conference held in Bonn, November 10-13, 2000.
    Trends in logic. Kluwer Academic Publishers.
    Book (Editorship) | UvA-DARE
  • Löwe, B., Müller, T., Wilhelmus, E. (2010) Mathematical knowledge: a case study in empirical philosophy of mathematics.
    In Van Kerkhove, B. De Vuyst, J. Van Bendegem, J.P. (Eds.), Philosophical perspectives on mathematical practice (pp 185-203) (Texts in philosophy). College Publications.
  • Löwe, B., Müller, T. (2005) Mathematical Knowledge is Context Dependent.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Löwe, B., Müller, T. (2008) Mathematical knowledge is context-dependent.
    Grazer Philosophische Studien, Vol. 76 (pp 91-107)
  • Löwe, B., Müller, T. (2010) Skills and mathematical knowledge.
    In Löwe, B. Müller, T. (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp 265-280) (Texts in philosophy). College Publications.
  • Löwe, B., Müller, T. (2010) PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice.
    Texts in philosophy. College Publications.
  • Löwe, B., Müller, T. (2011) Data and phenomena in conceptual modelling.
    Synthese, Vol. 182 (pp 131-148)
  • Löwe, B., Müller, Th. (2004) Degrees of Belief and Knowledge in Mathematics.
    ILLC Publications. Institute for Logic, Language and Computation.
    Report | UvA-DARE
  • Löwe, B., Pacuit, E., Romeijn, J.W. (2009) Foundations of the Formal Sciences VI: Probabilistic reasoning and reasoning with probabilities.
    Studies in logic. College Publications.
    Book (Editorship) | UvA-DARE
  • Löwe, B., Pacuit, E., Saraf, S. (2009) Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation™.
    In Proceedings of the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09). University of Hamburg.
  • Löwe, B., Pacuit, E., Witzel, A. (2011) DEL planning and some tractable cases.
    In van Ditmarsch, H. Lang, J. Ju, S. (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp 179-192) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 6953). Springer.
  • Löwe, B., Pacuit, E. (2008) An abstract approach to reasoning about games with mistaken and changing beliefs.
    The Australasian Journal of Logic, Vol. 6 (pp 162-181)
  • Löwe, B., Paßmann, R., Tarafder, S. (2021) Constructing illoyal algebra-valued models of set theory.
    Algebra Universalis, Vol. 82
1 ... 190 191 192 193 194 195 196 197 198 ... 335

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