Items where Subject is "Computation"

Pre-print

PP-2023-08: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. (2023) Herbrand Schemes for Cyclic Proofs. [Pre-print]

PP-2023-07: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. (2023) Herbrand Schemes for First-order Logic. [Pre-print] (Submitted)

PP-2023-03: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. and Marti, Johannes and Venema, Yde (2023) Proof Systems for Two-way Modal mu-Calculus. [Pre-print] (Submitted)

PP-2021-09: Ahmed, Rasyan and Zuidema, Willem and Lentz, Tom (2021) Modelling EEG responses to spoken narration. [Pre-print] (Unpublished)

PP-2017-12: Airiau, Stéphane and Bonzon, Elise and Endriss, Ulle and Maudet, Nicolas and Rossit, Julien (2017) Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity. [Pre-print]

PP-2022-06: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2022) The Topology of Surprise. [Pre-print]

PP-2021-07: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2021) The topological mu-calculus: completeness and decidability. [Pre-print]

PP-2020-06: Baltag, Alexandru and van Benthem, Johan (2020) A Simple Logic of Functional Dependence. [Pre-print] (Submitted)

PP-2020-19: Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag (2020) Compositionality in Context. [Pre-print] (In Press)

PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]

PP-2020-15: Boixel, Arthur and Endriss, Ulle (2020) Automated Justification of Collective Decisions via Constraint Solving. [Pre-print]

PP-2020-01: Carl, Merlin and Galeotti, Lorenzo (2020) Resetting Infinite Time Blum-Shub-Smale-Machines. [Pre-print] (Submitted)

PP-2021-01: Carl, Merlin and Galeotti, Lorenzo and Passmann, Robert (2021) Randomising Realisability. [Pre-print] (Submitted)

PP-2018-17: Chen, Weiwei and Endriss, Ulle (2018) Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules. [Pre-print]

PP-2017-11: Chen, Weiwei and Endriss, Ulle (2017) Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. [Pre-print]

PP-2019-16: Chen, Weiwei and Endriss, Ulle (2019) Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks. [Pre-print]

PP-2018-03: Döcker, Janosch and Dorn, Britta and Endriss, Ulle and de Haan, Ronald and Schneckenburger, Sebastian (2018) Tool Auctions. [Pre-print]

PP-2019-30: Endriss, Ulle (2019) Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms. [Pre-print] (In Press)

PP-2019-29: Endriss, Ulle (2019) Collective Information. [Pre-print] (In Press)

PP-2018-16: Endriss, Ulle (2018) Judgment Aggregation with Rationality and Feasibility Constraints. [Pre-print]

PP-2017-20: Endriss, Ulle (2017) Trends in Computational Social Choice. [Pre-print]

PP-2017-01: Endriss, Ulle and Grandi, Umberto (2017) Graph Aggregation. [Pre-print] (In Press)

PP-2018-02: Endriss, Ulle and Grandi, Umberto (2018) Graph Aggregation: Extended Abstract. [Pre-print]

PP-2017-04: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2017) Completeness for mu-calculi: a coalgebraic approach. [Pre-print] (Unpublished)

PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)

PP-2016-39: Fontaine, Gaëlle and Venema, Yde (2016) Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties. [Pre-print] (Submitted)

PP-2023-02: Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt (2023) Symmetry for transfinite computability. [Pre-print] (Submitted)

PP-2019-10: Galeotti, Lorenzo (2019) Surreal Blum-Shub-Smale Machines. [Pre-print] (In Press)

PP-2017-08: Galeotti, Lorenzo and Nobrega, Hugo (2017) Towards computable analysis on the generalised real line. [Pre-print] (In Press)

MoL-2018-11: Hungerbühler, Silvan (2018) A Computational Method for Philosophical Interpretation. [Pre-print]

PP-2020-17: Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. [Pre-print]

PP-2023-01: Motamed, Nima and Soeteman, Arie and Rey, Simon and Endriss, Ulle (2023) Participatory Budgeting with Multiple Resources. [Pre-print]

PP-2024-02: Nieto-de la Rosa, Francisco Santiago and Ramos-Garcia, Ulises Ariet and Vargas-Sandoval, Ana Lucia and de Jongh, Dick (2024) Extending antichains in the poset of the finite subsets of omega. [Pre-print] (Submitted)

PP-2020-18: Rey, Simon and Endriss, Ulle and de Haan, Ronald (2020) Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. [Pre-print]

MoL-2020-01: Schiaffino, Federico (2020) Memory, Time and Language: A Mental Time Travel Model in a Narrative Discourse. [Pre-print]

PP-2017-09: Schneckenburger, Sebastian and Dorn, Britta and Endriss, Ulle (2017) The Atkinson Inequality Index in Multiagent Resource Allocation. [Pre-print]

PP-2017-18: Shi, Chenwei and Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) Argument-based Belief in Topological Structures. [Pre-print]

PP-2017-17: Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) The Creation and Change of Social Networks: a logical study based on group size. [Pre-print] (In Press)

PP-2017-16: Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) How to Make Friends: A Logical Approach to Social Group Creation. [Pre-print]

MoL-2020-02: Sven Hugo, Cornets de Groot (2020) Logical systems with left-sequential versions of NAND and XOR. [Pre-print]

PP-2019-19: Terzopoulou, Zoi and Endriss, Ulle (2019) Aggregating Incomplete Pairwise Preferences by Weight. [Pre-print]

PP-2018-04: Terzopoulou, Zoi and Endriss, Ulle (2018) Modelling Iterative Judgment Aggregation. [Pre-print]

PP-2019-20: Terzopoulou, Zoi and Endriss, Ulle (2019) Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments. [Pre-print]

PP-2019-17: Terzopoulou, Zoi and Endriss, Ulle (2019) Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract). [Pre-print]

PP-2019-18: Terzopoulou, Zoi and Endriss, Ulle (2019) Strategyproof Judgment Aggregation under Partial Information. [Pre-print] (In Press)

PP-2017-07: Velázquez-Quesada, Fernando R. (2017) Reliability-Based Preference Dynamics: Lexicographic Upgrade. [Pre-print] (In Press)

PP-2018-11: de Haan, Ronald (2018) Hunting for Tractable Languages for Judgment Aggregation. [Pre-print] (In Press)

PP-2018-12: de Haan, Ronald (2018) A Parameterized Complexity View on Description Logic Reasoning. [Pre-print] (In Press)

PP-2019-21: de Haan, Ronald and Slavkovik, Marija (2019) Answer Set Programming for Judgment Aggregation. [Pre-print] (In Press)

PP-2018-10: de Jongh, Dick and Vargas, Ana Lucia (2018) Finite identification with positive and with complete data. [Pre-print]

PP-2022-03: van Benthem, Johan and Bezhanishvili, Nick (2022) Modal structures in groups and vector spaces. [Pre-print]

PP-2021-10: van Benthem, Johan and Icard, Thomas (2021) Interfacing Logic and Counting. [Pre-print] (Submitted)

PP-2022-02: van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan (2022) Hybrid sabotage Modal Logic. [Pre-print] (In Press)

PP-2017-22: van Benthem, Johan (2017) Against All Odds: When Logic Meets Probability. [Pre-print] (In Press)

PP-2016-40: van Benthem, Johan (2015) Feeling the Rythms of a Field. [Pre-print]

PP-2017-24: van Benthem, Johan (2017) Working with Jan in Four Movements. [Pre-print]

PP-2017-23: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) IPDL: a new modal logic of computation. [Pre-print] (Submitted)

PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]

PP-2018-01: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A propositional dynamic logic for instantial neighborhood semantics. [Pre-print]

PP-2019-04: van Benthem, Johan and Klein, Dominik (2019) Logics for Analyzing Games. [Pre-print] (In Press)

PP-2019-03: van Benthem, Johan and Liu, Fenrong (2019) Graph Games and Logic Design. [Pre-print] (Submitted)

PP-2019-11: van Benthem, Johan and Liu, Fenrong and Smets, Sonja (2019) Logico-Computational Aspects of Rationality. [Pre-print] (In Press)

PP-2019-27: van Benthem, Johan and Mierzewski, Krzysztof and Zaffora Blando, Francesca (2019) The Modal Logic of Stepwise Removal. [Pre-print] (In Press)

Report

X-1992-06: UNSPECIFIED (1992) Annual Report 1991. [Report]

PP-2009-39: Airiau, Stéphane and Endriss, Ulle (2009) Iterated Majority Voting. [Report]

PP-2014-10: Andreka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2014) Changing a semantics: opportunism or courage? [Report]

MoL-2022-11: Arteche Echeverría, Noel (2022) Parameterized Compilability. [Report]

MoL-2023-16: Bardal, Tuva Vigen (2023) Size Approval Voting Rules. [Report] (Unpublished)

PP-2010-16: Bouveret, Sylvain and Endriss, Ulle and Lang, Jérôme (2010) Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods. [Report]

PP-2012-04: Brandt, Felix and Conitzer, Vincent and Endriss, Ulle (2012) Computational Social Choice. [Report]

PP-2016-05: Brandt, Felix and Conitzer, Vincent and Endriss, Ulle and Lang, Jérôme and Procaccia, Ariel D. (2016) Introduction to Computational Social Choice. [Report]

PP-2014-15: Cailloux, Olivier and Endriss, Ulle (2014) Eliciting a Suitable Voting Rule via Examples. [Report]

PP-2006-43: Chevaleyre, Yann and Endriss, Ulle and Estivie, Sylvia and Maudet, Nicolas (2006) Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity. [Report]

PP-2009-35: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2009) Preference Handling in Combinatorial Domains: From AI to Social Choice. [Report]

PP-2006-55: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2006) A Short Introduction to Computational Social Choice. [Report]

MoL-2024-09: Chung, Liam (2024) Automata Closure Constructions for Kleene Algebra with Hypotheses. [Report]

MoL-2019-24: Colley, Rachael H. (2019) Guaranteeing Feasible Outcomes in Judgment Aggregation. [Report]

MoL-2017-03: Coopmans, Tim (2017) Robust self-testing of (almost) all pure two-qubit states. [Report]

PP-2016-07: Costantini, Marco and Groenland, Carla and Endriss, Ulle (2016) Judgment Aggregation under Issue Dependencies. [Report]

MoL-2018-09: Damanik, Raja Oktovin Parhasian (2018) Optimality in Stabilizer Testing. [Report]

MoL-2023-23: Danco, Dominique Marie (2023) How Many Oracle Calls Does It Take to Locate a Lightbulb? [Report]

MoL-2018-10: Don, Jelle Wijnand (2018) Post-quantum Security of Fiat-Shamir Signatures. [Report]

MoL-2016-18: Drumm, Eli (2016) Readtable-Macro Transducer-Chain Parsing. [Report]

X-2011-02: Elkind, Edith and Endriss, Ulle and Lang, Jérôme (2011) IJCAI-2011 Workshop on Social Choice and Artificial Intelligence. [Report]

PP-2012-02: Endriss, Ulle (2012) Computational Social Choice: Prospects and Challenges. [Report]

PP-2016-06: Endriss, Ulle (2016) Judgment Aggregation. [Report]

PP-2013-07: Endriss, Ulle (2013) Reduction of Economic Inequality in Combinatorial Domains. [Report]

PP-2014-17: Endriss, Ulle (2014) Social Choice Theory as a Foundation for Multiagent Systems. [Report]

PP-2013-12: Endriss, Ulle (2013) Voting on Actions with Uncertain Outcomes. [Report]

PP-2013-08: Endriss, Ulle and Fernández, Raquel (2013) Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model. [Report]

X-2008-12: Endriss, Ulle and Goldberg, Paul W. (2008) Computational Social Choice 2008. [Report]

PP-2013-11: Endriss, Ulle and Grandi, Umberto (2013) Binary Aggregation by Selection of the Most Representative Voter. [Report]

PP-2014-14: Endriss, Ulle and Grandi, Umberto (2014) Collective Rationality in Graph Aggregation. [Report]

PP-2012-29: Endriss, Ulle and Grandi, Umberto and Porello, Daniele (2012) Complexity of Judgment Aggregation. [Report]

PP-2010-02: Endriss, Ulle and Grandi, Umberto and Porello, Daniele (2010) Complexity of Judgment Aggregation: Safety of the Agenda. [Report]

PP-2016-18: Endriss, Ulle and Grandi, Umberto and de Haan, Ronald and Lang, Jérôme (2016) Succinctness of Languages for Judgment Aggregation. [Report]

X-2006-04: Endriss, Ulle and Lang, Jérôme (2006) Computational Social Choice 2006. [Report]

PP-2009-37: Endriss, Ulle and Pini, Maria Silvia and Rossi, Francesca and Venable, K. Brent (2009) Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness. [Report]

PP-2015-23: Endriss, Ulle and de Haan, Ronald (2015) Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young. [Report]

PP-2014-13: Endriss, Ulle and de Haan, Ronald and Szeider, Sefan (2014) Parameterized Complexity Results for Agenda Safety in Judgment Aggregation. [Report]

PP-2006-58: Fernández, Raquel and Endriss, Ulle (2006) Abstract Models for Dialogue Protocols. [Report]

MoL-2022-15: Filipetto, Valentino (2022) Constructing queries from data examples. [Report]

MoL-2023-04: Foks, Gerson (2023) Towards Efficient Minimum Bayes Risk Decoding. [Report]

PP-2011-04: Geist, Christian and Endriss, Ulle (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. [Report]

MoL-2018-23: Gijzen, Marlou M. (2018) A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic. [Report]

MoL-2016-26: Gogoladze, Kristina (2016) Evidence-Based Belief Revision for Non-Omniscient Agents. [Report]

PP-2011-13: Grandi, Umberto and Endriss, Ulle (2011) Binary Aggregation with Integrity Constraints. [Report]

PP-2009-40: Grandi, Umberto and Endriss, Ulle (2009) First-Order Logic Formalisation of Arrow's Theorem. [Report]

PP-2013-09: Grandi, Umberto and Endriss, Ulle (2013) Lifting Integrity Constraints in Binary Aggregation. [Report]

MoL-2019-22: Harding, Jacqueline (2019) Incorporating Preference Information into Formal Models of Transitive Proxy Voting. [Report]

PP-2014-16: Hashemi, Vahid and Endriss, Ulle (2014) Measuring Diversity of Preferences in a Group. [Report]

PP-2004-17: Honing, Henkjan (2004) Is there a perception-based alternative to kinematic models of tempo rubato? [Report]

PP-2014-18: Honingh, Aline and Burgoyne, John Ashley and van Kranenburg, Peter and Volk, Anja (2014) Strengthening Interdisciplinarity in MIR: Four Examples of Using MIR Tools for Musicology. [Report]

MoL-2018-12: Ionescu, Stefania (2018) Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations. [Report]

MoL-2022-04: Janssens, Nicolien S. (2022) Communicate and Vote: Collective Truth-tracking in Networks. [Report]

MoL-2018-20: Jónsson, Haukur Páll (2018) Real Logic and Logic Tensor Networks. [Report]

MoL-2020-12: Karlsson, Martin (2020) Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies. [Report]

MoL-2023-03: Keizer, Alex C. (2023) Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors. [Report]

MoL-2020-10: Kluiving, Boas (2020) Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods. [Report]

MoL-2017-06: Koek, Merlijn (2017) Extensions Of The Garden-hose Model. [Report]

PP-2014-11: Kruger, Justin and Endriss, Ulle and Fernandez, Raquel and Qing, Ciyang (2014) Axiomatic Analysis of Aggregation Methods for Collective Annotation. [Report]

PP-2010-19: Kurzen, Lena (2010) Eleusis: Complexity and Interaction in Inductive Inference. [Report]

MoL-2017-29: Landerreche, Esteban (2017) Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain. [Report]

MoL-2022-16: Leijnse, Koen (2022) On the Quantum Hardness of Matching Colored Triangles. [Report]

MoL-2018-14: Lewis, Ethan S. (2018) Computation with Infinite Programs. [Report]

X-2019-01: Li, Dazhu (2019) Losing Connection: the Modal Logic of Definable Link Deletion. [Report]

MoL-2022-01: Loustalot Knapp, Daniela (2022) Justification of Matching Outcomes. [Report]

MoL-2021-04: Louwrink, Daniël (2021) A Separation Logic for Stacked Borrows. [Report]

MoL-2023-33: Luden, Iris (2023) Beyond Perplexity: Examining Temporal Generalization of Large Language Models via Definition Generation. [Report]

PP-2006-27: Löwe, Benedikt (2006) Space bounds for infinitary computation. [Report]

MoL-2019-16: Martinot, Robin (2019) Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought. [Report]

X-2016-06: Marzion, Evan (2016) Constructive Notions of Cofiniteness. [Report]

MoL-2022-20: McCloskey, Erin (2022) Relative Weak Factorization Systems. [Report]

MoL-2019-27: McKnight, John Hunter (2019) Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States. [Report]

PP-2016-38: McWhirter, Sarah and Szymanik, Jakub (2016) Constructing Semantic Automata for Quantifier Iterations. [Report]

MoL-2020-13: Melzer, Sebastian David (2020) Canonical Formulas for the Lax Logic. [Report]

MoL-2021-17: Motamed, Nima (2021) Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games. [Report]

MoL-2018-13: Mul, Mathijs S. (2018) Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks. [Report]

MoL-2016-19: Novaro, Arianna (2016) Judgment Aggregation in Dynamic Logic of Propositional Assignments. [Report]

MoL-2022-27: Otten, Daniël D. (2022) De Jongh’s Theorem for Type Theory. [Report]

MoL-2024-01: Pohlmann, Max (2024) Analytic Nondualism: Why Reality is Objectively Subjective. [Report]

PP-2011-14: Porello, Daniele and Endriss, Ulle (2011) Ontology Merging as Social Choice. [Report]

PP-2012-30: Porello, Daniele and Endriss, Ulle (2012) Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption. [Report]

MoL-2018-33: Proroković, Krsto (2018) Learning to Decide a Formal Language: A Recurrent Neural Network Approach. [Report]

MoL-2018-17: Rapp, Max (2018) Hybrid Logics for Arguments, Beliefs, and their Dynamics. [Report]

PP-2012-05: Reijngoud, Annemieke and Endriss, Ulle (2012) Voter Response to Iterated Poll Information. [Report]

MoL-2024-11: Renata, Alyssa (2024) Homotopy Theory of Computable Spaces. [Report]

X-2024-03: Rey, Simon and Endriss, Ulle (2024) A Note on How to Build a Conference Schedule: The Case of ECAI-2024. [Report]

MoL-2020-08: Schönlank, Tex Aston Felix (2020) Syntactic logical relations for System F with recursive types and call-by-name semantics. [Report]

PP-2006-53: Sevenster, Merlijn and Tulenheimo, Tero (2006) Finite model theory for partially ordered connectives. [Report]

MoL-2021-16: Siemers, Maximilian (2021) Hyperintensional Logics for Evidence, Knowledge and Belief. [Report]

MoL-2019-01: Smaal, Kyah Elisabeth Mercedes (2019) Strategic manipulation in voting under higher-order reasoning. [Report]

MoL-2021-13: Smiles, John Fergus William (2021) Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model Selection. [Report]

MoL-2024-12: Smit, Wouter (2024) Axiomatising Protocol-Dependent Knowledge in Gossip. [Report]

MoL-2022-13: Soeteman, Arie W. (2022) Artificial Understanding. [Report]

PP-2008-43: Szymanik, Jakub (2008) The Computational Complexity of Quantified Reciprocals. [Report]

PP-2007-37: Szymanik, Jakub (2007) A Strong Meaning Hypothesis from a Computational Perspective. [Report]

PP-2009-19: Szymanik, Jakub and Zajenkowski, Marcin (2009) Improving methodology of quantifier comprehension experiments. [Report]

PP-2009-46: Szymanik, Jakub and Zajenkowski, Marcin (2009) Quantifiers and Working Memory. [Report]

MoL-2021-09: Tsiaxiras, Jason (2021) Strategic Voting under Incomplete Information in Approval-Based Committee Elections. [Report]

PP-2009-10: Uckelman, Joel and Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme (2009) Representing Utility Functions via Weighted Goals. [Report]

MoL-2021-06: Varricchione, Giovanni (2021) Complexity of Locally Fair Allocations on Graphs. [Report]

MoL-2020-16: Vogelmann, Valentin (2020) Statistical Methodology for Quantitative Linguistics: A Case Study of Learnability and Zipf’s Law. [Report]

MoL-2022-25: Vrijbergen, Pepijn (2022) Validity, Logic, and Models. [Report]

MoL-2017-15: Wagemaker, Jana (2017) Gossip in NetKAT. [Report]

MoL-2024-19: Wang, Yilun (2024) Oblivious Transfer from Quantum One-way Functions. [Report]

MoL-2017-22: Wang, Shuai (2017) Turing Learning with Nash Memory. [Report]

MoL-2023-09: Weigert, Patrick (2023) A Program Calculus for Dynamical Systems. [Report]

MoL-2024-17: Westerman, Floris (2024) PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables. [Report]

PP-2009-50: Zuidema, Willem (2009) A syllable frequency list for Dutch. [Report]

MoL-2017-24: de Hoop, Zeno (2017) Context-Free Processes and Push-Down Processes. [Report]

MoL-2016-09: in 't Veld, Sander (2016) Temporal Logics, Automata and the Modal $\mu$-Calculus. [Report]

MoL-2023-20: ten Wolde, Noortje Catelijn (2023) The Nature of Quantum Information. [Report]

PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]

PP-2013-03: van Benthem, Johan (2013) Computation as Social Agency: What and How. [Report]

MoL-2022-09: van Harskamp, Jasmijn (2022) The National Contests Behind International Success: A Musical Comparison of the Eurovision Song Contest, the Festival di Sanremo and the Melodifestivalen. [Report]

MoL-2018-24: van Oostveen, Lucy (2018) What You Know About People’s Preferences Matters: Investigating simpler notions of partial information in the context of strategic manipulation in voting. [Report]

MoL-2019-02: van Stigt, Daan (2019) Neural language models with latent syntax. [Report]

MoL-2018-04: van Wier, Jeroen (2018) Quantum Plaintext Non-Malleability. [Report]

MoL-2019-03: van den Heuvel, Bas (2019) The Logic of Fault-Tolerance in Message-Passing Concurrency. [Report]

MoL-2021-26: van der Kamp, Luca (2021) The Epistemic Logic of Full Communication and Social Networks: An Analysis of Mediation and Network Formation. [Report]

Thesis

DS-1995-19: Aarts, Erik (1995) Investigations in Logic, Language and Computation. Doctoral thesis, University of Amsterdam.

DS-2023-04: Abnar, Samira (2023) Inductive Biases for Learning Natural Language. Doctoral thesis, University of Amsterdam.

DS-2017-08: Alhama, Raquel Garrido (2017) Computational Modelling of Artificial Language Learning: Retention, Recognition & Recurrence. Doctoral thesis, University of Amsterdam.

DS-1997-04: Aliseda-LLera, Atocha (1997) Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Doctoral thesis, University of Amsterdam.

DS-2024-09: Allerstorfer, Rene (2024) Position-based Quantum Cryptography: From Theory towards Practice. Doctoral thesis, Universiteit van Amsterdam.

DS-2000-05: Areces, Carlos (2000) Logic Engineering. The Case of Description and Hybrid Logics. Doctoral thesis, University of Amsterdam.

DS-2018-08: Arunachalam, Srinivasan (2018) Quantum Algorithms and Learning Theory. Doctoral thesis, University of Amsterdam.

DS-2020-05: Bannink, Tom (2020) Quantum and stochastic processes. Doctoral thesis, University of Amsterdam.

DS-2019-02: Bergfeld, Jort (2019) Quantum logics for expressing and proving the correctness of quantum programs. Doctoral thesis, University of Amsterdam.

DS-2020-17: Blando, Francesca Zaffora (2020) Patterns and Probabilities: A Study in Algorithmic Randomness and Computable Learning. Doctoral thesis, University of Amsterdam.

DS-2022-04: Brokkelkamp, Ruben (2022) How Close Does It Get? From Near-Optimal Network Algorithms to Suboptimal Equilibrium Outcomes. Doctoral thesis, ILLC.

DS-2018-04: Bruineberg, Jelle (2018) Anticipating Affordances: Intentionality in self-organizing brain-body-environment systems. Doctoral thesis, University of Amsterdam.

DS-1993-02: Buhrman, Harry (1993) Resource Bounded Reductions. Doctoral thesis, University of Amsterdam.

DS-2024-12: Chen, Yanlin (2024) On Quantum Algorithms and Limitations for Convex Optimization and Lattice Problems. Doctoral thesis, Universiteit van Amsterdam.

DS-2016-01: Ciardelli, Ivano A. (2016) Questions in Logic. Doctoral thesis, University of Amsterdam.

DS-2023-02: Cornelissen, Arjan (2023) Quantum multivariate estimation and span program algorithms. Doctoral thesis, University of Amsterdam.

DS-2024-02: Cornelissen, Bas (2024) Measuring musics: Notes on modes, motifs, and melodies. Doctoral thesis, Universiteit van Amsterdam.

DS-2024-03: De Cao, Nicola (2024) Entity Centric Neural Models for Natural Language Processing. Doctoral thesis, Universiteit van Amsterdam.

DS-2021-01: Dulek, Yfke (2021) Delegated and Distributed Quantum Computation. Doctoral thesis, University of Amsterdam.

DS-2024-10: Feijen, Willem (2024) Fast, Right, or Best? Algorithms for Practical Optimization Problems. Doctoral thesis, Universiteit van Amsterdam.

DS-2009-02: Fitz, Hartmut (2009) Neural Syntax. Doctoral thesis, University of Amsterdam.

DS-2019-04: Galeotti, Lorenzo (2019) The theory of the generalised real numbers and other topics in logic. Doctoral thesis, University of Amsterdam.

DS-2010-08: Gheerbrant, Amélie (2010) Fixed-Point Logics on Trees. Doctoral thesis, University of Amsterdam.

DS-2010-11: Gierasimczuk, Nina (2010) Knowing One's Limits. Logical Analysis of Inductive Inference. Doctoral thesis, University of Amsterdam.

DS-2019-03: Gilyén, András (2019) Quantum Singular Value Transformation & Its Algorithmic Applications. Doctoral thesis, University of Amsterdam.

DS-2023-10: Giulianelli, Mario (2023) Neural Models of Language Use: Studies of Language Comprehension and Production in Context. Doctoral thesis, Universiteit van Amsterdam.

DS-2012-08: Grandi, Umberto (2012) Binary Aggregation with Integrity Constraints. Doctoral thesis, University of Amsterdam.

DS-2020-02: Groenland, Koen (2020) Quantum protocols for few-qubit devices. Doctoral thesis, University of Amsterdam.

DS-2003-03: Heguiabehere, Juan (2003) Building Logic Toolboxes. Doctoral thesis, University of Amsterdam.

DS-1996-01: Hendriks, Lex (1996) Computations in Propositional Logic. Doctoral thesis, University of Amsterdam.

DS-2021-10: Hornischer, Levin (2021) Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation. Doctoral thesis, University of Amsterdam.

DS-2018-01: Janssen, Berit (2018) Retained or Lost in Transmission? Analyzing and Predicting Stability in Dutch Folk Songs. Doctoral thesis, University of Amsterdam.

DS-2024-13: Jumelet, Jaap (2024) Finding Structure in Language Models. Doctoral thesis, Universiteit van Amsterdam.

DS-2000-02: Kamps, Jaap (2000) A Logical Approach to Computational Theory Building (with applications to sociology). Doctoral thesis, University of Amsterdam.

DS-2014-01: Keestra, Machiel (2014) Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms. Doctoral thesis, University of Amsterdam.

DS-2010-05: Kontinen, Jarmo (2010) Coherence and Complexity in Fragments of Dependence Logic. Doctoral thesis, University of Amsterdam.

DS-2011-01: Koolen, Wouter M. (2011) Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice. Doctoral thesis, University of Amsterdam.

DS-2011-10: Kurzen, Lena (2011) Complexity in Interaction. Doctoral thesis, University of Amsterdam.

DS-2006-01: Lee, Troy (2006) Kolmogorov complexity and formula size lower bounds. Doctoral thesis, University of Amsterdam.

DS-2016-05: Lê, Phong (2016) Learning Vector Representations for Sentences - The Recursive Deep Learning Approach. Doctoral thesis, University of Amsterdam.

DS-1995-03: Marx, Maarten (1995) Algebraic Relativization and Arrow Logic. Doctoral thesis, University of Amsterdam.

DS-2002-01: Massios, Nikos (2002) Decision-Theoretic Robotic Surveillance. Doctoral thesis, University of Amsterdam.

DS-2023-11: Menéndez Turata, Guillermo (2023) Cyclic Proof Systems for Modal Fixpoint Logics. Doctoral thesis, Universiteit van Amsterdam.

DS-1995-12: Mikulás, Szabolcs (1995) Taming Logics. Doctoral thesis, University of Amsterdam.

DS-2022-06: Mojet, Emma (2022) Observing Disciplines: Data Practices In and Between Disciplines in the 19th and Early 20th Centuries. Doctoral thesis, Universiteit van Amsterdam.

DS-1996-02: Montanari, Angelo (1996) Metric and Layered Temporal Logic for Time Granularity. Doctoral thesis, University of Amsterdam.

DS-2023-01: Patro, Subhasree (2023) Quantum Fine-Grained Complexity. Doctoral thesis, University of Amsterdam.

DS-2001-10: Pauly, Marc (2001) Logic for Social Software. Doctoral thesis, University of Amsterdam.

DS-2023-03: Paßmann, Robert (2023) Logical Structure of Constructive Set Theories. Doctoral thesis, University of Amsterdam.

DS-2021-14: Piedrafita, Álvaro (2021) On Span Programs and Quantum Algorithms. Doctoral thesis, Universiteit van Amsterdam.

DS-2024-11: Pinto Prieto, Daira (2024) Combining Uncertain Evidence: Logic and Complexity. Doctoral thesis, Universiteit van Amsterdam.

DS-2022-03: Ramotowska, Sonia (2022) Quantifying quantifier representations: Experimental studies, computational modeling, and individual differences. Doctoral thesis, University of Amsterdam.

DS-2023-09: Rey, Simon (2023) Variations on Participatory Budgeting. Doctoral thesis, University of Amsterdam.

DS-2006-04: Robert Špalek (2006) Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs. Doctoral thesis, University of Amsterdam.

DS-2004-01: Röhrig, Hein Philipp (2004) Quantum Query Complexity and Distributed Computing. Doctoral thesis, University of Amsterdam.

DS-2020-07: Sandoval, Ana Lucia Vargas (2020) On the Path to the Truth: Logical & Computational Aspects of Learning. Doctoral thesis, University of Amsterdam.

DS-2001-07: Sasaki, Katsumi (2001) Logics and Provability. Doctoral thesis, University of Amsterdam.

DS-2013-03: Scarpa, Giannicola (2013) Quantum entanglement in non-local games, graph parameters and zero-error information theory. Doctoral thesis, University of Amsterdam.

DS-2020-08: Schulz, Philip (2020) Latent Variable Models for Machine Translation and How to Learn Them. Doctoral thesis, University of Amsterdam.

DS-2006-06: Sevenster, Merlijn (2006) Branches of imperfect information: logic, games, and computation. Doctoral thesis, University of Amsterdam.

DS-1999-02: Sima'an, Khalil (1999) Learning efficient disambiguation. Doctoral thesis, University of Amsterdam.

HDS-39: Smid, Michiel (2024) Dynamic Data Structures on Multiple Storage Media. Doctoral thesis, Universiteit van Amsterdam.

DS-2012-05: Soriano, David García (2012) Query-Efficient Computation in Property Testing and Learning Theory. Doctoral thesis, University of Amsterdam.

DS-2024-06: Sotáková, Jana (2024) Isogenies and Cryptography. Doctoral thesis, Universiteit van Amsterdam.

HDS-14: Spaan, Edith (2016) Complexity of Modal Logics. Doctoral thesis, University of Amsterdam.

DS-2016-08: Speelman, Florian (2016) Position-based Quantum Cryptography and Catalytic Computation. Doctoral thesis, University of Amsterdam.

DS-2007-02: Spiro, Neta (2007) What contributes to the perception of musical phrases in western classical music? Doctoral thesis, University of Amsterdam.

DS-2017-05: Steinert-Threlkeld, Shane Noah (2017) Communication and Computation: New Questions About Compositionality. Doctoral thesis, University of Amsterdam.

DS-2009-01: Szymanik, Jakub (2009) Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language. Doctoral thesis, University of Amsterdam.

DS-2024-04: Takmaz, Ece (2024) Visual and Linguistic Processes in Deep Neural Networks: A Cognitive Perspective. Doctoral thesis, Universiteit van Amsterdam.

DS-1999-04: Terhal, Barbara (1999) Quantum Algorithms and Quantum Entanglement. Doctoral thesis, University of Amsterdam.

DS-2021-06: Terzopoulou, Zoi (2021) Collective Decisions with Incomplete Individual Opinions. Doctoral thesis, University of Amsterdam.

HDS-36: Torenvliet, Leen (2023) Structured Concepts in Relativised Hierarchies. Doctoral thesis, Universiteit van Amsterdam.

DS-1995-15: Trautwein, Marten (1995) Computational Pitfalls in Tractable Grammatical Formalisms. Doctoral thesis, University of Amsterdam.

DS-2020-11: Tredici, Marco Del (2020) Linguistic Variation in Online Communities: A Computational Perspective. Doctoral thesis, University of Amsterdam.

DS-2010-01: Tsarfaty, Reut (2010) Relational-Realizational Parsing. Doctoral thesis, University of Amsterdam.

DS-2009-12: Uckelman, Joel (2009) More Than the Sum of Its Parts: Compact Preference Representation Over Combinatorial Domains. Doctoral thesis, University of Amsterdam.

DS-2008-06: Unger, Falk (2008) Noise in Quantum and Classical Computation and Non-locality. Doctoral thesis, University of Amsterdam.

DS-2019-01: Vaquero, Carlos (2019) What Makes A Performer Unique? Idiosyncrasies and commonalities in expressive music performance. Doctoral thesis, University of Amsterdam.

DS-2024-08: Verduyn Lunel, Philip (2024) Quantum Position Verification: Loss-tolerant Protocols and Fundamental Limits. Doctoral thesis, Universiteit van Amsterdam.

DS-1995-04: Wang, Dejuan (1995) Study on the Formal Semantics of Pictures. Doctoral thesis, University of Amsterdam.

DS-2000-01: Wassermann, Renata (2000) Resource Bounded Belief Revision. Doctoral thesis, University of Amsterdam.

DS-2008-01: Wehner, Stephanie (2008) Cryptography in a Quantum World. Doctoral thesis, University of Amsterdam.

DS-2022-07: Witteveen, Freek Gerrit (2022) Quantum information theory and many-body physics. Doctoral thesis, Universiteit van Amsterdam.

DS-2020-03: Witteveen, Jouke (2020) Parameterized Analysis of Complexity. Doctoral thesis, University of Amsterdam.

DS-2018-13: Zuiddam, Jeroen (2018) Algebraic complexity, asymptotic spectra and entanglement polytopes. Doctoral thesis, University of Amsterdam.

DS-1998-04: d'Agostino, Giovanna (1998) Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation. Doctoral thesis, University of Amsterdam.

DS-2001-03: de Haas, Erik (2001) Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective. Doctoral thesis, University of Amsterdam.

DS-2018-09: de Holanda Cunha Nobrega, Hugo (2018) Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks. Doctoral thesis, University of Amsterdam.

DS-2001-06: de Wolf, Ronald (2001) Quantum Computing and Communication Complexity. Doctoral thesis, University of Amsterdam.

DS-2001-02: den Bosch, Alexander van (2001) Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology. Doctoral thesis, University of Amsterdam.

DS-2019-06: der Gulik, Peter T.S. van (2019) Considerations in Evolutionary Biochemistry. Doctoral thesis, University of Amsterdam.

DS-2020-12: der Weij, Bastiaan van (2020) Experienced listeners: Modeling the influence of long-term musical exposure on rhythm perception. Doctoral thesis, University of Amsterdam.

DS-2005-01: ten Cate, Balder David (2005) Model theory for extended modal languages. Doctoral thesis, University of Amsterdam.

DS-2020-04: van Apeldoorn, Joran (2020) A Quantum View on Convex Optimization. Doctoral thesis, University of Amsterdam.

DS-2002-04: van Dam, Willem Klaas (2002) On Quantum Computation Theory. Doctoral thesis, University of Amsterdam.

DS-2005-05: van Otterloo, Sieuwert (2005) A Strategic Analysis of Multi-agent Protocols. Doctoral thesis, University of Amsterdam.