ILLC Publications, All Series, 2013

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

PP-2013-16:
Peter van Emde Boas Thirty nine years of stratified trees.
1.Full Text, 2.Abstract.
PP-2013-15:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items.
1.Full Text, 2.Abstract.
PP-2013-14:
Milos Stanojevic, Khalil Sima'an Evaluating Long Range Reordering with Permutation-Forests.
1.Full Text, 2.Abstract.
PP-2013-13:
Harald Bastiaanse, Frank Veltman Making the Right Exceptions.
1.Full Text, 2.Abstract.
PP-2013-12:
Ulle Endriss Voting on Actions with Uncertain Outcomes.
1.Full Text, 2.Abstract.
PP-2013-11:
Ulle Endriss, Umberto Grandi Binary Aggregation by Selection of the Most Representative Voter.
1.Full Text, 2.Abstract.
PP-2013-10:
Bruno Rocha, Niels Bogaards, Aline Honingh Segmentation and timbre- and rhythm-similarity in Electronic Dance Music.
1.Full Text, 2.Abstract.
PP-2013-09:
Umberto Grandi, Ulle Endriss Lifting Integrity Constraints in Binary Aggregation.
1.Full Text, 2.Abstract.
PP-2013-08:
Ulle Endriss, Raquel Fernández Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.
1.Full Text, 2.Abstract.
PP-2013-07:
Ulle Endriss Reduction of Economic Inequality in Combinatorial Domains.
1.Full Text, 2.Abstract.
PP-2013-06:
Johan van Benthem Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837.
1.Full Text, 2.Abstract.
PP-2013-05:
Johan van Benthem Logica en recht: naar een rijkere relatie.
1.Full Text, 2.Abstract.
PP-2013-04:
Joel David Hamkins, Benedikt Löwe Moving up and down in the generic multiverse.
1.Full Text, 2.Abstract.
PP-2013-03:
Johan van Benthem Computation as Social Agency: What and How.
1.Full Text, 2.Abstract, 3.Full Text (Mar 2013 version).
PP-2013-02:
Johan van Benthem Implicit and Explicit Stances in Logic.
1.Full Text, 2.Abstract, 3.Full Text (Mar 2013 version).
PP-2013-01:
Johan van Benthem Reasoning about Strategies.
1.Full Text, 2.Abstract.
X-2013-02:
Tanmay Inamdar Successor Large Cardinals in Symmetric Extensions.
1.Full Text, 2.Abstract.
X-2013-01:
Apostolos Tzimoulis, Zhiguang Zhao The Universal Model for the Negation-free Fragment of IPC.
1.Full Text, 2.Abstract.
MoL-2013-29:
Dieuwke Hupkes An Empirical Account of Compositionality of Translation through Translation Data.
1.Full Text, 2.Abstract.
MoL-2013-28:
YunQi Xue Towards Closed-World Reasoning in Games - Ultimatum Game Revisited.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2013-27:
Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics.
1.Full Text, 2.Abstract.
MoL-2013-26:
Ásgeir Berg Matthíasson A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on Gödel.
1.Full Text, 2.Abstract.
MoL-2013-25:
Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory.
1.Full Text, 2.Abstract.
MoL-2013-24:
Sylvia Pauw Synthesis, Judgment and the Categories of Quantity.
1.Full Text, 2.Abstract.
MoL-2013-23:
Maximilian Johannes Fillinger Reconstructing the Cryptanalytic Attack behind the Flame Malware.
1.Full Text, 2.Abstract.
MoL-2013-22:
Heleen Booy Philosophy in primary schools - Developing teachers' manuals for different age groups.
1.Full Text, 2.Abstract, 3.Appendix_1-6, 4.Appendix_7, 5.Appendix_8.
MoL-2013-21:
Adam Crager The infinite in Aristotle's logical epistemology.
1.Full Text, 2.Abstract.
MoL-2013-20:
Cecilia Chávez Aguilera. Non-well founded semantics for belief revision.
1.Full Text, 2.Abstract.
MoL-2013-19:
Alessandra Marra What should have been the case. A temporal update semantics for necessity deontic modals.
1.Full Text, 2.Abstract.
MoL-2013-18:
Robert Carrington Learning and Knowledge in Social Networks.
1.Full Text, 2.Abstract.
MoL-2013-17:
Ryan Nefdt Constituentless Compositionality: A Compositional Account of Dependency Grammar.
1.Full Text, 2.Abstract.
MoL-2013-16:
Hugo de Holanda Cunha Nobrega Game characterizations of function classes and Weihrauch degrees.
1.Full Text, 2.Abstract.
MoL-2013-15:
Maurice Pico Completeness proofs via canonical models on increasingly generalized settings.
1.Full Text, 2.Abstract.
MoL-2013-14:
Hans Bugge Grathwohl Programming with Classical Proofs.
1.Full Text, 2.Abstract.
MoL-2013-13:
Aybüke Özgün Topological Models for Belief and Belief Revision.
1.Full Text, 2.Abstract.
MoL-2013-12:
Apostolos Tzimoulis Determinacy and measurable cardinals in HOD.
1.Full Text, 2.Abstract.
MoL-2013-11:
José Pedro Correia The Bivalent Trap: Vagueness, Theories of Meaning and Identity.
1.Full Text, 2.Abstract.
MoL-2013-10:
Zhiguang Zhao Algebraic Canonicity in Non-Classical Logics.
1.Full Text, 2.Abstract.
MoL-2013-09:
Femke Bekius The Iterative Minimum Cost Spanning Tree Problem.
1.Full Text, 2.Abstract.
MoL-2013-08:
Nathaniel Forde A Demand of Reason: Dependence in Logic and Probability.
1.Full Text, 2.Abstract.
MoL-2013-07:
Tanmay C. Inamdar On The Modal Logics of Some Set-Theoretic Constructions.
1.Full Text, 2.Abstract.
MoL-2013-06:
Elbert J. Booij Kinds, Composition and the Identification Problem.
1.Full Text, 2.Abstract.
MoL-2013-05:
Giovanni Cinà On the connection between the categorical and the modal logic approaches to Quantum Mechanics.
1.Full Text, 2.Abstract.
MoL-2013-04:
Georgios Sarailidis On the Power of Evolution.
1.Full Text, 2.Abstract.
MoL-2013-03:
Gianluca Paolini Dependence Logic in Algebra and Model Theory.
1.Full Text, 2.Abstract.
MoL-2013-02:
Radek Ocelák Carving up the rainbow: how to model linguistic categorization of color.
1.Full Text, 2.Abstract.
MoL-2013-01:
Maria Velema Classical Encryption and Authentication under Quantum Attacks.
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