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

Osherson, D., de Jongh, D., Martin, E.L., Weinstein, S. (1997) Formal learning theory.

In ter Meulen, A. van Benthem, J.F.A.K. (Eds.), Handbook of Logic and Language (pp 737-775). Elsevier Science Publishers B.V..

Chapter | UvA-DARE
Ossenkoppele, T. (2024) HitPyRank.

Software | https://uva-hva.gitlab.host/concepts-in-motion/tools/hitpyrank | UvA-DARE
Otten, Daniël, van den Berg, B. (2024) Conservativity of Type Theory over Higher-Order Arithmetic.

In Murano, Aniello Silva, Alexandra (Eds.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 (Leibniz International Proceedings in Informatics, Vol. 288). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Conference contribution | https://doi.org/10.4230/LIPIcs.CSL.2024.44 | UvA-DARE
Ottens, B., Endriss, U. (2008) Comparing winner determination algorithms for mixed multi-unit combinatorial auctions.

In Padgham, L. Parkes, D. Müller, J. Parsons, S. (Eds.), AAMAS 2008: 7th International Conference on Autonomous Agents and Multi-Agent Systems: Proceedings: Volume 3 (pp 1601-1604). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Conference contribution | http://portal.acm.org/citation.cfm?id=1402821.1402935&coll=GUIDE&dl=GUIDE&type=series&idx=SERIES134&part=series&WantType=Proceedings&title=AGENTS&CFID=20237694&CFTOKEN=81691640 | UvA-DARE
Otterspeer, G., Klomp, U., Roelofsen, F. (2024) SignCollect: A 'Touchless' Pipeline for Constructing Large-scale Sign Language Repositories.

In Efthimiou, E. Fotinea, S.-E. Hanke, T. Hochgesang, J.A. Mesch, J. Schulder, M. (Eds.), 11th Workshop on the Representation and Processing of Sign Languages: Evaluation of Sign Language Resources (sign-lang@LREC-COLING 2024): LREC-COLING 2024 : workshop proceedings : 25 May 2024, Torino, Italia (pp 269-275) (COLING
LREC). European Language Resources Association.

Conference contribution | https://aclanthology.org/2024.signlang-1.30/ | UvA-DARE
Ottonelli, V., Porello, D. (2013) On the Elusive Notion of Meta-Agreement.

Politics, Philosophy & Economics, Vol. 12 (pp 68-92)

Article | https://doi.org/10.1177/1470594X11433742 | UvA-DARE
Owers, J., Shutova, E., Lewis, M. (2024) Density Matrices for Metaphor Understanding.

Electronic Proceedings in Theoretical Computer Science, Vol. 406 (pp 197-215)

Conference article | https://doi.org/10.4204/EPTCS.406.9 | UvA-DARE
Özgün, A., Berto, F. (2021) Dynamic Hyperintensional Belief Revision.

Review of Symbolic Logic, Vol. 14 (pp 766-811)

Article | https://doi.org/10.1017/S1755020319000686 | UvA-DARE
Özgün, A., Berto, F. (2024) The Method of Thought Experiments: Probability and Counterfactuals.

The Journal of Philosophy

Article | https://philpapers.org/rec/BERTMO-56 | UvA-DARE
Özgün, A., Cotnoir, A.J. (2025) Imagination, Mereotopology, and Topic Expansion.

Review of Symbolic Logic, Vol. 18 (pp 28-51)

Article | https://doi.org/10.1017/S1755020324000236 | UvA-DARE
Özgün, A., Schoonen, T. (2024) The Logical Development of Pretense Imagination.

Erkenntnis, Vol. 89 (pp 2121–2147)

Article | https://doi.org/10.1007/s10670-021-00476-9 | UvA-DARE
Oziewicz, Z., Velázquez-Quesada, F.R. (2009) Multigraph of multigraphs.

Academic research, Vol. 23 (pp 69-99)

Article | UvA-DARE
Ozols, M., Grinko, D., Burchardt, A. (2023) Gelfand-Tsetlin basis for partially transposed permutations, with applications to quantum information.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2310.02252 | UvA-DARE
Ozols, M., Walter, M. (2018) Hoe programmeer je een kwantumcomputer?. Translated title of the contribution: How to program a quantum computer?

ag connect

Article | UvA-DARE
Ozols, M., Walter, M. (2019) The Quantum Quest.

Quantum Quest.

Web publication or website | https://www.quantum-quest.org/ | UvA-DARE
Özyıldız, D., Qing, C., Roelofsen, F., Romero, M., Uegaki, W. (2023) A Crosslinguistic Database for Combinatorial and Semantic Properties of Attitude Predicates.

In Beinborn, L. Goswami, K. Muradoğlu, S. Sorokin, A. Kumar, R. Shcherbakov, A. Ponti, E.M. Cotterell, R. Vylomova, E. (Eds.), The 5th Workshop on Research in Computational Linguistic Typology and Multilingual NLP: SIGTYP 2023 : Proceedings of the Workshop : May 6, 2023 (pp 65-75). Association for Computational Linguistics.

Conference contribution | https://doi.org/10.18653/v1/2023.sigtyp-1.7 | UvA-DARE
Øhrstrøm, P., Schärfe, H., Uckelman, S.L. (2008) Jacob Lorhard's ontology: A 17th century hypertext on the reality and temporality of the world of intelligibles.

In Eklund, P. Haemmerlé, O. (Eds.), Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 : proceedings (pp 74-87) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 5113). Springer.

Conference contribution | https://doi.org/10.1007/978-3-540-70596-3_5 | UvA-DARE
Øhrstrøm, P., Uckelman, S.L., Schärfe, H. (2007) Historical and Conceptual Foundation of Diagrammatical Ontology.

In Priss, U. Polovina, S. Hill, R. (Eds.), Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings (pp 374-386) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 4604). Springer.

Conference contribution | https://doi.org/10.1007/978-3-540-73681-3_28 | UvA-DARE
Pacuit, E.J., Arló-Costa, H. (2006) Classical Systems of First-Order Modal Logic.

Studia Logica, Vol. 84 (pp 171-210)

Article | UvA-DARE
Pacuit, E.J., Parikh, R., Cogan, E. (2006) The Logic of Knowledge Based Obligation.

Synthese, Vol. 149 (pp 311-341)

Article | 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