Universiteit van Amsterdam

ILLC Publications, All Series, 2006

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