ILLC Publications, All Series, 2010

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

PP-2010-25:
Martijn Baartse, George Barmpalias On the gap between trivial and nontrivial initial segment prefix-free complexity.
1.Full Text, 2.Abstract.
PP-2010-24:
George Barmpalias, Charlotte Vlek Kolmogorov complexity of initial segments of sequences and arithmetical definability.
1.Full Text, 2.Abstract.
PP-2010-23:
George Barmpalias, Tom Sterkenburg On the number of infinite sequences with trivial initial segment complexity.
1.Full Text, 2.Abstract.
PP-2010-22:
Sara Uckelman, Joel Uckelman Strategy and Manipulation in Medieval Elections.
1.Full Text, 2.Abstract.
PP-2010-21:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction.
1.Full Text, 2.Abstract.
PP-2010-20:
Gerard R. Renardel de Lavalette, Lex Hendriks, Dick de Jongh Intuitionistic implication without disjunction.
1.Full Text, 2.Abstract.
PP-2010-19:
Lena Kurzen Eleusis: Complexity and Interaction in Inductive Inference.
1.Full Text, 2.Abstract.
PP-2010-18:
Mai Gehrke, Jacob Vosmaer A View of Canonical Extension.
1.Full Text, 2.Abstract.
PP-2010-17:
Henkjan Honing Lure(d) into listening: The potential of cognition-based music information retrieval..
1.Full Text, 2.Abstract.
PP-2010-16:
Sylvain Bouveret, Ulle Endriss, Jérôme Lang Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.
1.Full Text, 2.Abstract.
PP-2010-15:
Daniele Porello, Ulle Endriss Modelling Multilateral Negotiation in Linear Logic.
1.Full Text, 2.Abstract.
PP-2010-14:
Benedikt Löwe, Eric Pacuit, Andreas Witzel Planning based on dynamic epistemic logic.
1.Full Text, 2.Abstract.
PP-2010-13:
Umberto Grandi, Ulle Endriss Lifting Rationality Assumptions in Binary Aggregation.
1.Full Text, 2.Abstract.
PP-2010-12:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.
1.Full Text, 2.Abstract.
PP-2010-11:
Benedikt Löwe, Thomas Müller Mathematical knowledge and skills.
1.Full Text, 2.Abstract.
PP-2010-10:
Andreas Witzel, Ulle Endriss Time Constraints in Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2010-09:
Floris Roelofsen, Sam van Gool Disjunctive questions, intonation, and highlighting.
1.Full Text, 2.Abstract.
PP-2010-08:
Dick de Jongh, Fan Yang Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
1.Full Text, 2.Abstract.
PP-2010-07:
Dick de Jongh, Rineke Verbrugge, Albert Visser Intermediate Logics and the de Jongh Property.
1.Full Text, 2.Abstract.
PP-2010-06:
Szymon Klarman, U. Endriss, Stefan Schlobach ABox Abduction in the Description Logic ALC.
1.Full Text, 2.Abstract.
PP-2010-05:
Daniele Porello, Ulle Endriss Modelling Combinatorial Auctions in Linear Logic.
1.Full Text, 2.Abstract.
PP-2010-04:
Edgar G. Daylight The Advent of Recursion in Programming, 1950s-1960s.
1.Full Text, 2.Abstract.
PP-2010-03:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria.
1.Full Text, 2.Abstract.
PP-2010-02:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation: Safety of the Agenda.
1.Full Text, 2.Abstract.
PP-2010-01:
Christian Geist, Benedikt Löwe, Bart Van Kerkhove Peer review and knowledge by testimony in mathematics.
1.Full Text, 2.Abstract.
X-2010-01:
Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth.
1.Full Text, 2.Abstract.
MoL-2010-20:
Antonio Negro Quine's challenge and Logical Pluralism.
1.Full Text, 2.Abstract.
MoL-2010-19:
Remi Turk A modern back-end for a dependently typed language.
1.Full Text, 2.Abstract.
MoL-2010-18:
Alexandru Marcoci The Surprise Examination Paradox in Dynamic Epistemic Logic.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2010-17:
Bert Christiaan Regenboog Reactive Valuations.
1.Full Text, 2.Abstract.
MoL-2010-16:
Hélène Tourigny Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition.
1.Full Text, 2.Abstract.
MoL-2010-15:
Matthew P. Wampler-Doty Evidentialist Logic.
1.Full Text, 2.Abstract.
MoL-2010-14:
Lorenz Demey Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2010-13:
Hanne Kristin Berg Philosophy of time: Combining the A-series and the B-series.
1.Full Text, 2.Abstract.
MoL-2010-12:
Jonathan Shaheen Relevance-Based Partition Semantics for Why-Questions.
1.Full Text, 2.Abstract.
MoL-2010-11:
Margaux Smets A U-DOP approach to modeling language acquisition.
1.Full Text, 2.Abstract.
MoL-2010-10:
Ernst Odolphi Temporal Binding by Short-Term Synaptic Plasticity.
1.Full Text, 2.Abstract.
MoL-2010-09:
Kian Mintz-Woo Independence Weakening in Judgment Aggregation.
1.Full Text, 2.Abstract.
MoL-2010-08:
David Fiske Toward an Evolutionary Linguistic Theory.
1.Full Text, 2.Abstract.
MoL-2010-07:
Mark Beumer Apportionment in Theory and Practice.
1.Full Text, 2.Abstract.
MoL-2010-06:
Stephan Schroevers Expressiveness and Extensions of an Instruction Sequence Semigroup.
1.Full Text, 2.Abstract.
MoL-2010-05:
Nicola Di Giorgio Non-Standard Models of Arithmetic: a Philosophical and Historical perspective.
1.Full Text, 2.Abstract.
MoL-2010-04:
Yacin Hamami The Interrogative Model of Inquiry meets Dynamic Epistemic Logics.
1.Full Text, 2.Abstract.
MoL-2010-03:
Charlotte Vlek Definability in the Degrees of Randomness.
1.Full Text, 2.Abstract.
MoL-2010-02:
Christian Geist Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects.
1.Full Text, 2.Abstract.
MoL-2010-01:
Frank Nebel Shortest Path Games: Computational Complexity of Solution Concepts.
1.Full Text, 2.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X