- Subjects (145)
**Computation**(254)

Group by: Authors | Item Type

Number of items at this level: **253**.

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.

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-2009-39:
Airiau, Stéphane and Endriss, Ulle
(2009)
*Iterated Majority Voting.*
[Report]

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.

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]

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

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

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

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)

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

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

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

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

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

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

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]

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.

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

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

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

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]

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

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]

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

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

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

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)

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.

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

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

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.

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-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-2012-02:
Endriss, Ulle
(2012)
*Computational Social Choice: Prospects and Challenges.*
[Report]

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

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

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-2017-20:
Endriss, Ulle
(2017)
*Trends in Computational Social Choice.*
[Pre-print]

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

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

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

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)

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

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)

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

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.

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

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.

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

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

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]

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

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]

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.

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]

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.

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

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

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

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

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]

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

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

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

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]

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]

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

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.

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

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

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]

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

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]

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

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]

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

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

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

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]

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-1996-02:
Montanari, Angelo
(1996)
*Metric and Layered Temporal Logic for Time Granularity.*
Doctoral thesis, University of Amsterdam.

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

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

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-2023-09:
Patrick, Weigert
(2023)
*A Program Calculus for Dynamical Systems.*
[Report]

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.

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]

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

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]

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

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

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.

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]

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

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

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

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

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

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

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

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

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-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-2022-13:
Soeteman, Arie W.
(2022)
*Artificial Understanding.*
[Report]

DS-2012-05:
Soriano, David García
(2012)
*Query-Efficient Computation in Property Testing and Learning Theory.*
Doctoral thesis, University of 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.

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

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

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]

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.

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)

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.

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

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

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

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

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

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.

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

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

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]

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

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

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)

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

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]

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

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]

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

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

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

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

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