ILLC Publications, All Series, 2006

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

PP-2006-59:
Johan van Benthem Rationalizations and Promises in Games.
1.Full Text, 2.Abstract.
PP-2006-58:
Raquel Fernández, Ulle Endriss Abstract Models for Dialogue Protocols.
1.Full Text, 2.Abstract.
PP-2006-57:
Vincent Kieftenbeld, Benedikt Löwe A classification of ordinal topologies.
1.Full Text, 2.Abstract.
PP-2006-56:
Joost J. Joosten Semantics for sub-intuitionistic logics.
1.Full Text, 2.Abstract.
PP-2006-55:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet A Short Introduction to Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2006-54:
Martin van Hees, Olivier Roy Intentions and Plans in Decision and Game Theory.
1.Full Text, 2.Abstract.
PP-2006-53:
Merlijn Sevenster, Tero Tulenheimo Finite model theory for partially ordered connectives.
1.Full Text, 2.Abstract.
PP-2006-52:
Nina Gierasimczuk The Problem of Learning the Semantics of Quantifiers.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2006-51:
Jesus Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodriguez-Aguilar Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2006-50:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Reaching Envy-free States in Distributed Negotiation Settings.
1.Full Text, 2.Abstract.
PP-2006-49:
Johan van Benthem Computation as Conversation.
1.Full Text, 2.Abstract.
PP-2006-48:
Dick de Jongh The Incompleteness Theorems, their content and their meaning.
1.Full Text, 2.Abstract.
PP-2006-47:
Tero Tulenheimo, Merlijn Sevenster Approaches to Independence Friendly Modal Logic.
1.Full Text, 2.Abstract.
PP-2006-46:
Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe Inaccessible Cardinals without the Axiom of Choice.
1.Full Text, 2.Abstract.
PP-2006-45:
Johan van Benthem, Fenrong Liu Dynamic logic of preference upgrade.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2006-44:
Johan van Benthem, Eric Pacuit The Tree of Knowledge in Action: Towards a Common Perspective.
1.Full Text, 2.Abstract.
PP-2006-43:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity.
1.Full Text, 2.Abstract.
PP-2006-42:
Ulle Endriss, Eric Pacuit Modal Logics of Negotiation and Preference.
1.Full Text, 2.Abstract.
PP-2006-41:
Fenrong Liu Preference Change and Information Processing.
1.Full Text, 2.Abstract.
PP-2006-40:
Marcin Mostowski, Jakub Szymanik Semantical bounds for everyday language.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2006 version).
PP-2006-39:
Audrey Yap Product Update and Looking Backward.
1.Full Text, 2.Abstract.
PP-2006-38:
Dick de Jongh, Fenrong Liu Optimality, Belief and Preference.
1.Full Text, 2.Abstract.
PP-2006-37:
Fenrong Liu Diversity of Agents.
1.Full Text, 2.Abstract.
PP-2006-36:
Jakub Szymanik A note on some neuroimaging study of natural language quantifiers comprehension.
1.Full Text, 2.Abstract.
PP-2006-35:
Nina Gierasimczuk, Jakub Szymanik Hintikka's Thesis Revisited.
1.Abstract, 2.Full Text (Aug 2008 version), 3.Full Text (Dec 2006 version).
PP-2006-34:
Olivier Roy Commitment-Based Decision Making for Bounded Agents.
1.Full Text, 2.Abstract.
PP-2006-33:
Benedikt Löwe, Eric Pacuit An abstract approach to reasoning about games with mistaken and changing beliefs.
1.Full Text, 2.Abstract.
PP-2006-32:
Merlijn Sevenster Henkin quantifiers: logic, games, and computation.
1.Full Text, 2.Abstract.
PP-2006-31:
Merlijn Sevenster, Tero Tulenheimo Partially ordered connectives and Sigma-1-1 on finite models.
1.Full Text, 2.Abstract.
PP-2006-30:
Johan van Benthem, Patrick Blackburn Modal Logic: A Semantic Perspective.
1.Full Text, 2.Abstract.
PP-2006-29:
Eric Pacuit A Note on Some Explicit Modal Logics.
1.Full Text, 2.Abstract.
PP-2006-28:
Eric Pacuit Some Comments on History Based Structures.
1.Full Text, 2.Abstract.
PP-2006-27:
Benedikt Löwe Space bounds for infinitary computation.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2006-26:
Tomasz Sadzik Exploring the iterated update universe.
1.Full Text, 2.Abstract.
PP-2006-25:
Nick Bezhanishvili, Dick de Jongh Intuitionistic Logic.
1.Full Text, 2.Abstract.
PP-2006-24:
Brian Semmes A Game for the Borel Functions.
1.Full Text, 2.Abstract.
PP-2006-23:
Brian Semmes Multitape Games.
1.Full Text, 2.Abstract.
PP-2006-22:
Vincent Kieftenbeld Notions of Strong Compactness without the Axiom of Choice.
1.Full Text, 2.Abstract.
PP-2006-21:
Johan van Benthem, Jelle Gerbrandy, Barteld Kooi Dynamic Update with Probabilities.
1.Abstract, 2.Full Text (Apr 2008 version), 3.Full Text (Mar 2006 version).
PP-2006-20:
Rens Bod Towards a General Model of Applying Science.
1.Full Text, 2.Abstract.
PP-2006-19:
Rens Bod Exemplar-Based Linguistics: How to Get Productivity from Examples.
1.Full Text, 2.Abstract.
PP-2006-18:
Merlijn Sevenster The Complexity of Scotland Yard.
1.Full Text, 2.Abstract.
PP-2006-17:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling.
1.Full Text, 2.Abstract.
PP-2006-16:
Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, Nicolas Maudet How Equitable is Rational Negotiation?.
1.Full Text, 2.Abstract.
PP-2006-15:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Tractable Negotiation in Tree-structured Domains.
1.Full Text, 2.Abstract.
PP-2006-14:
Benedikt Löwe Revision Forever!.
1.Full Text, 2.Abstract.
PP-2006-13:
Benedikt Löwe Set Theory of Infinite Imperfect Information Games.
1.Full Text, 2.Abstract.
PP-2006-12:
Daisuke Ikegami Projective absoluteness under Sacks forcing.
1.Full Text, 2.Abstract.
PP-2006-11:
Johan van Benthem Dynamic Logic of Belief Revision.
1.Full Text, 2.Abstract.
PP-2006-10:
Benedikt Löwe, Brian Semmes The Extent of Constructive Game Labellings.
1.Full Text, 2.Abstract.
PP-2006-09:
Steve Jackson, Farid Khafizov Descriptions and cardinals below $\delta^1_5$.
1.Full Text, 2.Abstract.
PP-2006-08:
Guram Bezhanishvili, Johan van Benthem Modal Logics of Space.
1.Full Text, 2.Abstract.
PP-2006-07:
Johan van Benthem Information as Correlation versus Information as Range.
1.Full Text, 2.Abstract.
PP-2006-06:
Johan van Benthem A New Modal Lindström Theorem.
1.Full Text, 2.Abstract.
PP-2006-05:
Steve Jackson, Benedikt Löwe Canonical Measure Assignments.
1.Full Text, 2.Abstract.
PP-2006-04:
Evert van Emde Boas Ποῖον τὸν μῦθον ἔειπες; Rhetorical Questions in Ancient Greek.
1.Full Text, 2.Abstract.
PP-2006-03:
Reinhard Blutner Optimality Theoretic Pragmatics and the Explicature/Implicature Distinction.
1.Full Text, 2.Abstract.
PP-2006-02:
Tomoyuki Yamada Acts of Commanding and Changing Obligations.
1.Full Text, 2.Abstract.
PP-2006-01:
Ulle Endriss Monotonic Concession Protocols for Multilateral Negotiation.
1.Full Text, 2.Abstract.
X-2006-04:
Ulle Endriss, Jérôme Lang Computational Social Choice 2006.
1.Full Text, 2.Abstract.
X-2006-03:
Nick Bezhanishvili, Lena Kurzen, Rachel Sterken Student Papers from an Intuitionistic Logic Project.
1.Full Text, 2.Abstract.
X-2006-02:
Joost J. Joosten Credit cards, computationele complexiteit en consistentie uitspraken.
1.Full Text, 2.Abstract.
X-2006-01:
Stefan Bold, Benedikt Löwe The general inductive argument for measure analyses with additive ordinal algebras.
1.Full Text, 2.Abstract.
MoL-2006-09:
Jacob Vosmaer Connecting the profinite completion and the canonical extension using duality.
1.Full Text, 2.Abstract.
MoL-2006-08:
Gaëlle Fontaine Axiomatization of ML and Cheq.
1.Full Text, 2.Abstract.
MoL-2006-07:
Martin Müller Accent and Focus in OT: a Cross-Linguistic Perspective.
1.Full Text, 2.Abstract.
MoL-2006-06:
Jill Cirasella Classical and Quantum Algorithms for Finding Cycles.
1.Full Text, 2.Abstract.
MoL-2006-05:
Yanjing Wang Indexed Semantics and Its Application in Modelling Interactive Unawareness.
1.Full Text, 2.Abstract.
MoL-2006-04:
Clive Nettey Link-Based Methods for Web Information Retrieval.
1.Full Text, 2.Abstract.
MoL-2006-03:
Ioanna Dimitriou Strong limits and Inaccessibility with non-wellorderable powersets.
1.Full Text, 2.Abstract.
MoL-2006-02:
Dirk Buschbom Understanding As A Teleonomical Concept: Fundamentals of the Hermeneutical game.
1.Full Text, 2.Abstract.
MoL-2006-01:
Edgar Andrade Meaning and Form in Event Calculus.
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