Searchable List of Research Output | Institute for Logic, Language and Computation

van Cranenburgh, A. (2012) Literary authorship attribution with phrase-structure fragments.

In Elson, D. Kazantseva, A. Mihalcea, R. Szpakowicz, S. (Eds.), NAACL-HLT 2012 : Workshop on Computational Linguistics for Literature: co-located with The 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : proceedings of the workshop : June 8, 2012, Montréal, Canada (pp 59-63). Association for Computational Linguistics.

Conference contribution | http://aclweb.org/anthology/W12-2508 | UvA-DARE
van Cranenburgh, A. (2014) Extraction of Phrase-Structure Fragments with a Linear Average Time Tree-Kernel.

Computational Linguistics in the Netherlands Journal, Vol. 4 (pp 3-16)

Article | http://www.clinjournal.org/node/54 | UvA-DARE
van Cranenburgh, A.W. (2016) Rich statistical parsing and literary language.

Thesis, fully internal | UvA-DARE
van Dam, J.W.M. Hardy, L. (1998) Quantum Wispers.

Quant-Ph Archive (pp ---)

Article | UvA-DARE
van Dam, J.W.M. (1998) Quantum oracle interrogation: getting all information for almost half the price.

In Proceedings of the 39th IEEE Symposium on the foundations computation science (pp 362-367) (-)

Chapter | UvA-DARE
van Dam, J.W.M. (1998) Two classical queries versus one quantum query.

Quant-Ph Archive (pp ---)

Article | UvA-DARE
van Dam, W.K. (2002) On quantum computation theory.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE
van de Pol, I. Lodder, P. van Maanen, L. Steinert-Threlkeld, S. Szymanik, J. (2021) Quantifiers satisfying semantic universals are simpler.

In 43rd Annual Meeting of the Cognitive Science Society (CogSci 2021): Comparative Cognition Animal Minds : Vienna, Austria, 26-29 July 2021 (pp 756-762) (Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 43). Cognitive Science Society.

Conference contribution | https://escholarship.org/uc/item/1vm445rp | UvA-DARE
van de Pol, I. Lodder, P. van Maanen, L. Steinert-Threlkeld, S. Szymanik, J. (2023) Quantifiers satisfying semantic universals have shorter minimal description length.

Cognition, Vol. 232

Article | https://doi.org/10.1016/j.cognition.2022.105150 | UvA-DARE
van de Pol, I. Steinert-Threlkeld, S. Szymanik, J. (2019) Complexity and learnability in the explanation of semantic universals of quantifiers.

In Goel, A.K. Seifert, C.M. Freksa, C. (Eds.), Creativity + cognition + computation: 41st Annual Meeting of the Cognitive Science Society (CogSci 2019) : Montreal, Canada, 24-27 July 2019 (pp 3015-3021). Cognitive Science Society.

Conference contribution | https://cogsci.mindmodeling.org/2019/papers/0507/index.html | UvA-DARE
van de Pol, I. van Rooij, I. Szymanik, J. (2016) Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 246-263)

Article | https://doi.org/10.4204/EPTCS.215.18 | UvA-DARE
van de Pol, I. van Rooij, I. Szymanik, J. (2018) Parameterized complexity of theory of mind reasoning in dynamic epistemic logic.

Journal of Logic, Language and Information, Vol. 27 (pp 255-294)

Article | https://doi.org/10.1007/s10849-018-9268-4 | UvA-DARE
van den Berg, B. Briseid, E. Safarik, P. (2017) The strength of countable saturation.

Archive for Mathematical Logic, Vol. 56 (pp 699-711)

Article | https://doi.org/10.1007/s00153-017-0567-2 | UvA-DARE
van den Berg, B. Faber, E. (2022) Effective Kan fibrations in simplicial sets.

Lecture Notes in Mathematics, Vol. 2321. Springer.

Book | https://doi.org/10.1007/978-3-031-18900-5 | UvA-DARE
van den Berg, B. Heunen, C. (2014) Extending obstruction to noncommutative functorial spectra.

Theory and Applications of Categories, Vol. 29 (pp 457-474)

Article | http://www.tac.mta.ca/tac/volumes/29/17/29-17abs.html | UvA-DARE
van den Berg, B. Moerdijk, I. (2014) The axiom of multiple choice and models for constructive set theory.

Journal of Mathematical Logic, Vol. 14

Article | https://doi.org/10.1142/S0219061314500056 | UvA-DARE
van den Berg, B. Moerdijk, I. (2015) W-types in homotopy type theory.

Mathematical Structures in Computer Science, Vol. 25 (pp 1100-1115)

Article | https://doi.org/10.1017/S0960129514000516 | UvA-DARE
van den Berg, B. Moerdijk, I. (2018) Univalent completion.

Mathematische Annalen, Vol. 371 (pp 1337–1350)

Article | https://doi.org/10.1007/s00208-017-1614-3 | UvA-DARE
van den Berg, B. Moerdijk, I. (2018) Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories.

Journal of Pure and Applied Algebra, Vol. 222 (pp 3137-3181)

Article | https://doi.org/10.1016/j.jpaa.2017.11.017 | UvA-DARE
van den Berg, B. Passmann, R. (2022) Converse extensionality and apartness.

Logical Methods in Computer Science, Vol. 18

Article | https://doi.org/10.46298/LMCS-18(4:13)2022 | UvA-DARE

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 illc at uva.nl