ILLC Publications, All Series, 2009

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

PP-2009-50:
Willem Zuidema A syllable frequency list for Dutch.
1.Full Text, 2.Abstract.
PP-2009-49:
Bart de Boer, Willem Zuidema Models of Language Evolution: Does the Math Add Up?.
1.Full Text, 2.Abstract.
PP-2009-48:
Johan van Benthem The Logic of Empirical Theories Revisited.
1.Full Text, 2.Abstract.
PP-2009-47:
Johan van Benthem Horror Contradictionis.
1.Full Text, 2.Abstract.
PP-2009-46:
Jakub Szymanik, Marcin Zajenkowski Quantifiers and Working Memory.
1.Full Text, 2.Abstract.
PP-2009-45:
Junhua Yu Prehistoric Phenomena and Self-referentiality in Realization Procedure.
1.Full Text, 2.Abstract.
PP-2009-44:
Johan van Benthem Categorial versus Modal Information Theory.
1.Full Text, 2.Abstract.
PP-2009-43:
Johan van Benthem, Fernando R. Velázquez-Quesada Inference, Promotion, and the Dynamics of Awareness.
1.Full Text, 2.Abstract.
PP-2009-41:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.
1.Full Text, 2.Abstract.
PP-2009-40:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Arrow's Theorem.
1.Full Text, 2.Abstract.
PP-2009-39:
Stéphane Airiau, Ulle Endriss Iterated Majority Voting.
1.Full Text, 2.Abstract.
PP-2009-38:
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments.
1.Full Text, 2.Abstract.
PP-2009-37:
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
1.Full Text, 2.Abstract.
PP-2009-36:
Sylvain Bouveret, Ulle Endriss, Jérôme Lang Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.
1.Full Text, 2.Abstract.
PP-2009-35:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet Preference Handling in Combinatorial Domains: From AI to Social Choice.
1.Full Text, 2.Abstract.
PP-2009-34:
Johan van Benthem Rolling down the River: Saul Kripke and the course of modal logic.
1.Full Text, 2.Abstract.
PP-2009-33:
Benedikt Löwe, Eric Pacuit, Sanchit Saraf Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation.
1.Full Text, 2.Abstract.
PP-2009-32:
Johan van Benthem, \c{S}tefan Minic\v{a} Toward a Dynamic Logic of Questions.
1.Full Text, 2.Abstract.
PP-2009-31:
Urszula Wybraniec-Skardowska Polish Logic, a few lines from a personal perspective.
1.Full Text, 2.Abstract.
PP-2009-30:
Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada Games for Learning - A Sabotage Approach.
1.Full Text, 2.Abstract.
PP-2009-29:
Hamal Ahmet, Terziler Mehmet Peritopological Spaces and Bisimulations.
1.Full Text, 2.Abstract.
PP-2009-28:
Sara L. Uckelman The reception of Saint Anselm's logic in the 20th and 21st centuries.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2009 version).
PP-2009-27:
David Grossi, Dov Gabbay, Leendert van der Torre The Norm Implementation Problem in Normative Multi-Agent Systems.
1.Abstract, 2.Full Text (Jun 2009 version), 3.Full Text (Nov 2009 version).
PP-2009-26:
Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages.
1.Full Text, 2.Abstract.
PP-2009-25:
Daisuke Ikegami Forcing Absoluteness and Regularity Properties.
1.Full Text, 2.Abstract.
PP-2009-24:
Davide Grossi Doing Argumentation Theory in Modal Logic.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2009 version).
PP-2009-23:
Aline Honingh, Anja Volk De Kracht van Wiskunde in Muziekonderzoek.
1.Full Text, 2.Abstract.
PP-2009-22:
Benedikt Löwe, Thomas Müller Data and Phenomena in Conceptual Modelling.
1.Full Text, 2.Abstract.
PP-2009-21:
Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe Cofinality and Measurability of the First Three Uncountable Cardinals.
1.Full Text, 2.Abstract.
PP-2009-20:
Jakub Szymanik, Marcin Zajenkowski Understanding Quantifiers in Language.
1.Full Text, 2.Abstract.
PP-2009-19:
Jakub Szymanik, Marcin Zajenkowski Improving methodology of quantifier comprehension experiments.
1.Full Text, 2.Abstract.
PP-2009-18:
Jeroen Groenendijk, Floris Roelofsen Inquisitive Semantics and Pragmatics.
1.Full Text, 2.Abstract.
PP-2009-17:
Daisuke Ikegami, David de Kloet, Benedikt Löwe The Axiom of Real Blackwell Determinacy.
1.Full Text, 2.Abstract.
PP-2009-16:
Raul Leal, Alexander Kurz Equational Coalgebraic Logic.
1.Full Text, 2.Abstract.
PP-2009-15:
Raul Leal, Clemens Kupke Of the Hennessy-Milner property and Other Demons.
1.Full Text, 2.Abstract.
PP-2009-14:
Cédric Dégremont, Nina Gierasimczuk Can doxastic agents learn? On the temporal structure of learning.
1.Full Text, 2.Abstract.
PP-2009-13:
Jörg Brendle, Benedikt Löwe Eventually Different Functions and Inaccessible Cardinals.
1.Full Text, 2.Abstract.
PP-2009-12:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality.
1.Full Text, 2.Abstract.
PP-2009-11:
Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, Juan A. Rodríguez-Aguilar A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2009-10:
Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang Representing Utility Functions via Weighted Goals.
1.Full Text, 2.Abstract.
PP-2009-09:
Sara Ramezani, Ulle Endriss Nash Social Welfare in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2009-08:
Johan van Benthem CRS and Guarded Logics, a fruitful contact.
1.Full Text, 2.Abstract.
PP-2009-07:
Johan van Benthem Decisions, Actions, and Games: a logical perspective.
1.Full Text, 2.Abstract.
PP-2009-06:
Johan van Benthem The Great Art of Modeling.
1.Full Text, 2.Abstract.
PP-2009-05:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction.
1.Full Text, 2.Abstract.
PP-2009-04:
Reinhard Blutner Concepts and Bounded Rationality: An Application of Niestegge's Approach to Conditional Quantum Probabilities.
1.Full Text, 2.Abstract.
PP-2009-03:
Reinhard Blutner, Elena Hochnadel Two Qubits for C.G. Jung's Theory of Personality.
1.Full Text, 2.Abstract.
PP-2009-02:
Reinhard Blutner Questions and Answers in an Orthoalgebraic Approach.
1.Full Text, 2.Abstract.
PP-2009-01:
Reinhard Blutner, Anatoli Strigin Bidirectional Grammar and Bidirectional Optimization.
1.Full Text, 2.Abstract.
X-2009-04:
Sara L. Uckelman, Peter van Ormondt, Marie-Hélène Gorisse, Laurent Keiff, Nicolas Clerbout A Day of Indian Logic.
1.Full Text, 2.Abstract.
X-2009-03:
Benedikt Löwe LSIR-2: Logic and the Simulation of Interaction and Reasoning.
1.Full Text, 2.Abstract.
X-2009-02:
Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008.
1.Full Text, 2.Abstract.
X-2009-01:
Johan van Benthem Argumentation through the Lense of Artificial Intelligence.
1.Full Text, 2.Abstract.
MoL-2009-18:
Salvador Mascarenhas Inquisitive Semantics and Logic.
1.Full Text, 2.Abstract.
MoL-2009-17:
Maarten Versteegh iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax.
1.Full Text, 2.Abstract.
MoL-2009-16:
Samuel Jacob van Gool Methods for Canonicity.
1.Full Text, 2.Abstract.
MoL-2009-15:
Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems.
1.Full Text, 2.Abstract.
MoL-2009-14:
Lisa Maree Fulford A study of Canonicity for Bi-Implicative Algebras.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT).
MoL-2009-13:
Olga Grigoriadou A Momentary Lapse Of Reason.
1.Full Text, 2.Abstract.
MoL-2009-12:
Karel Van Oudheusden The Advent of Recursion \& Logic in Computer Science.
1.Full Text, 2.Abstract.
MoL-2009-11:
Ivano A. Ciardelli Inquisitive Semantics and Intermediate Logics.
1.Full Text, 2.Abstract.
MoL-2009-10:
Maria Spychalska Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language.
1.Full Text, 2.Abstract.
MoL-2009-09:
Simon Pauw A BiOT Account of Gricean Reasoning.
1.Full Text, 2.Abstract.
MoL-2009-08:
Wouter Beek Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate.
1.Full Text, 2.Abstract.
MoL-2009-07:
Chris Brumwell A Dynamic Analysis of Epistemic Possibility.
1.Full Text, 2.Abstract.
MoL-2009-06:
Pablo Cubides Kovacsics Decomposition Theorem for Abstract Elementary Classes.
1.Full Text, 2.Abstract.
MoL-2009-05:
Petros D. Stamatis Going for a Walk on a Fine Summer's Day While a Sea-battle is Taking Place, or Concerning Future Contingents and Intentional Action.
1.Full Text, 2.Abstract.
MoL-2009-04:
Daan Dirk de Jonge Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts.
1.Full Text, 2.Abstract.
MoL-2009-03:
Daniele Chiffi Analysis of Knowledge, Assertion, Verification.
1.Full Text, 2.Abstract.
MoL-2009-02:
Nicole R. Hausen Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion.
1.Full Text, 2.Abstract.
MoL-2009-01:
María Inés Crespo Normativity and interaction: from ethics to semantics.
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