Items where Year is 2010

A

X-2010-01: Achourioti, Theodora and Andrade, Edgar and Staudacher, Marc (2010) Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth. [Report]

PP-2010-03: Airiau, Stéphane and Endriss, Ulle (2010) Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria. [Report]

B

PP-2010-25: Baartse, Martijn and Barmpalias, George (2010) On the gap between trivial and nontrivial initial segment prefix-free complexity. [Report]

PP-2010-23: Barmpalias, George and Sterkenburg, Tom (2010) On the number of infinite sequences with trivial initial segment complexity. [Report]

PP-2010-24: Barmpalias, George and Vlek, Charlotte (2010) Kolmogorov complexity of initial segments of sequences and arithmetical definability. [Report]

DS-2010-12: Bentzen, Martin Mose (2010) Stit, Iit, and Deontic Logic for Action Types. Doctoral thesis, University of Amsterdam.

MoL-2010-13: Berg, Hanne Kristin (2010) Philosophy of time: Combining the A-series and the B-series. [Report]

MoL-2010-07: Beumer, Mark (2010) Apportionment in Theory and Practice. [Report]

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]

D

PP-2010-04: Daylight, Edgar G. (2010) The Advent of Recursion in Programming, 1950s-1960s. [Report]

MoL-2010-14: Demey, Lorenz (2010) Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic. [Report]

DS-2010-03: Dégremont, Cédric (2010) The Temporal Mind. Observations on the logic of belief change in interactive systems. Doctoral thesis, University of Amsterdam.

PP-2010-07: de Jongh, Dick and Verbrugge, Rineke and Visser, Albert (2010) Intermediate Logics and the de Jongh Property. [Report]

PP-2010-08: de Jongh, Dick and Yang, Fan (2010) Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. [Report]

PP-2010-20: de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick (2010) Intuitionistic implication without disjunction. [Report]

E

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

F

MoL-2010-08: Fiske, David (2010) Toward an Evolutionary Linguistic Theory. [Report]

DS-2010-09: Fontaine, Gaëlle (2010) Modal Fixpoint Logic: Some Model Theoretic Questions. Doctoral thesis, University of Amsterdam.

G

PP-2010-18: Gehrke, Mai and Vosmaer, Jacob (2010) A View of Canonical Extension. [Report]

MoL-2010-02: Geist, Christian (2010) Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects. [Report]

PP-2010-01: Geist, Christian and Löwe, Benedikt and Kerkhove, Bart Van (2010) Peer review and knowledge by testimony in mathematics. [Report]

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

PP-2010-12: Gheerbrant, Amélie (2010) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

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

MoL-2010-05: Giorgio, Nicola Di (2010) Non-Standard Models of Arithmetic: a Philosophical and Historical perspective. [Report]

PP-2010-13: Grandi, Umberto and Endriss, Ulle (2010) Lifting Rationality Assumptions in Binary Aggregation. [Report]

H

MoL-2010-04: Hamami, Yacin (2010) The Interrogative Model of Inquiry meets Dynamic Epistemic Logics. [Report]

PP-2010-17: Honing, Henkjan (2010) Lure(d) into listening: The potential of cognition-based music information retrieval. [Report]

I

DS-2010-04: Ikegami, Daisuke (2010) Games in Set Theory and Logic. Doctoral thesis, University of Amsterdam.

K

PP-2010-06: Klarman, Szymon and Endriss, U. and Schlobach, Stefan (2010) ABox Abduction in the Description Logic ALC. [Report]

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

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

L

PP-2010-11: Löwe, Benedikt and Müller, Thomas (2010) Mathematical knowledge and skills. [Report]

PP-2010-14: Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas (2010) Planning based on dynamic epistemic logic. [Report]

M

MoL-2010-18: Marcoci, Alexandru (2010) The Surprise Examination Paradox in Dynamic Epistemic Logic. [Report]

MoL-2010-09: Mintz-Woo, Kian (2010) Independence Weakening in Judgment Aggregation. [Report]

N

MoL-2010-01: Nebel, Frank (2010) Shortest Path Games: Computational Complexity of Solution Concepts. [Report]

MoL-2010-20: Negro, Antonio (2010) Quine's challenge and Logical Pluralism. [Report]

O

MoL-2010-10: Odolphi, Ernst (2010) Temporal Binding by Short-Term Synaptic Plasticity. [Report]

P

PP-2010-05: Porello, Daniele and Endriss, Ulle (2010) Modelling Combinatorial Auctions in Linear Logic. [Report]

PP-2010-15: Porello, Daniele and Endriss, Ulle (2010) Modelling Multilateral Negotiation in Linear Logic. [Report]

R

MoL-2010-17: Regenboog, Bert Christiaan (2010) Reactive Valuations. [Report]

PP-2010-09: Roelofsen, Floris and van Gool, Sam (2010) Disjunctive questions, intonation, and highlighting. [Report]

S

MoL-2010-06: Schroevers, Stephan (2010) Expressiveness and Extensions of an Instruction Sequence Semigroup. [Report]

MoL-2010-12: Shaheen, Jonathan (2010) Relevance-Based Partition Semantics for Why-Questions. [Report]

MoL-2010-11: Smets, Margaux (2010) A U-DOP approach to modeling language acquisition. [Report]

DS-2010-07: Staudacher, Marc (2010) Use theories of meaning between conventions and social norms. Doctoral thesis, University of Amsterdam.

T

MoL-2010-16: Tourigny, Hélène (2010) Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition. [Report]

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

MoL-2010-19: Turk, Remi (2010) A modern back-end for a dependently typed language. [Report]

U

PP-2010-22: Uckelman, Sara and Uckelman, Joel (2010) Strategy and Manipulation in Medieval Elections. [Report]

V

MoL-2010-03: Vlek, Charlotte (2010) Definability in the Degrees of Randomness. [Report]

DS-2010-10: Vosmaer, Jacob (2010) Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology. Doctoral thesis, University of Amsterdam.

PP-2010-21: van Benthem, Johan and Pacuit, Eric and Roy, Olivier (2010) Toward a Theory of Play: A Logical Perspective on Games and Interaction. [Report]

W

MoL-2010-15: Wampler-Doty, Matthew P. (2010) Evidentialist Logic. [Report]

DS-2010-06: Wang, Yanjing (2010) Epistemic Modelling and Protocol Dynamics. Doctoral thesis, University of Amsterdam.

PP-2010-10: Witzel, Andreas and Endriss, Ulle (2010) Time Constraints in Mixed Multi-unit Combinatorial Auctions. [Report]

Z

DS-2010-02: Zvesper, Jonathan (2010) Playing with Information. Doctoral thesis, University of Amsterdam.