Items where Year is 2004

Report

MoL-2004-03: Baggio, Giosuè (2004) Two ERP studies on Dutch temporal semantics. [Report]

PP-2004-12: Bartsch, Renate (2004) Concept Formation, Remembering, and Understanding: Dynamic Conceptual Semantics and Proust's "A la Recherche du Temps Perdu". [Report]

PP-2004-06: Bezhanishvili, Nick and ten Cate, Balder (2004) Transfer results for hybrid logic -- Part I: the case without satisfaction operators. [Report]

MoL-2004-04: Birchall, Be (2004) Duality for Distributive Modal Algebras. [Report]

PP-2004-16: Blutner, Reinhard (2004) Nonmonotonic Inferences and Neural Networks. [Report]

PP-2004-22: Bold, Stefan and Löwe, Benedikt (2004) A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy. [Report]

PP-2004-05: Gehrke, Mai and Harding, John and Venema, Yde (2004) MacNeille completions and canonical extensions. [Report]

MoL-2004-09: Gerhardt, Spencer (2004) A Construction Method for Modal Logics of Space. [Report]

PP-2004-29: Hinzen, Wolfram (2004) Explaining rigidity. [Report]

PP-2004-24: Hinzen, Wolfram (2004) Spencerism and the Causal Theory of Reference. [Report]

PP-2004-31: Hinzen, Wolfram (2004) The mind we do not change. [Report]

PP-2004-14: Honing, Henkjan (2004) Computational modeling of music cognition: A case study on model selection. [Report]

PP-2004-34: Honing, Henkjan (2004) Is Timing Tempo-Specific? An Online Internet Experiment on Perceptual Invariance of Timing in Music. [Report]

PP-2004-17: Honing, Henkjan (2004) Is there a perception-based alternative to kinematic models of tempo rubato? [Report]

PP-2004-08: Honing, Henkjan (2004) When a good fit is not good enough: A case study on the Final Ritard. [Report]

PP-2004-09: Honing, Henkjan (2004) Wiskunde en muziekcognitie. [Report]

X-2004-02: Honing, Henkjan and Desain, Peter (2004) Final Report NWO-PIONIER Project "Music, Mind, Machine". [Report]

PP-2004-07: Kühnberger, Kai-Uwe and Löwe, Benedikt and Möllerfeld, Michael and Welch, Philip (2004) Comparing inductive and circular definitions: parameters, complexity and games. [Report]

MoL-2004-07: Labenz, Piotr (2004) Event-calculus semantics of Polish aspect. [Report]

MoL-2004-05: Liu, Fenrong (2004) Dynamic Variations: Update and Revision for Diverse Agents. [Report]

PP-2004-03: Löwe, Benedikt (2004) Complexity hierarchies derived from reduction functions. [Report]

PP-2004-10: Löwe, Benedikt (2004) The Length of the Full Hierarchy of Norms. [Report]

PP-2004-33: Löwe, Benedikt (2004) Set Theory with and within urelements and categories of interpretation. [Report]

PP-2004-11: Löwe, Benedikt (2004) A non-monotone Fraenkel-L\'evy labelling for the asymmetric combinatorial game on cyclic graphs. [Report]

X-2004-01: Löwe, Benedikt (2004) A note on pure variations of axioms of Blackwell determinacy. [Report]

PP-2004-26: Löwe, Benedikt (2004) A parametrised choice principle and Martin's conjecture on Blackwell determinacy. [Report]

X-2004-03: Löwe, Benedikt and Müller, Thomas (2004) Degrees of Belief and Knowledge in Mathematics. [Report]

PP-2004-04: Löwe, Benedikt and Sarenac, Darko (2004) Cardinal spaces and topological representations of bimodal logics. [Report]

X-2004-04: Löwe, Benedikt and van Rooij, Robert and Schröder, Bernhard and Zeevat, Henk (2004) ILLC-Day 2 in Bonn ``Language''. [Report]

MoL-2004-06: Nguyen, Thuy Linh (2004) Rank Consistent Estimation: The DOP Case. [Report]

PP-2004-25: Perea, Andrés (2004) Minimal belief revision leads to backward induction. [Report]

PP-2004-28: Prescher, Detlef and Scha, Remko and Sima'an, Khalil and Zollmann, Andreas (2004) Treebank Grammars and Other Infinite Parameter Models. [Report]

MoL-2004-08: Ruan, Ji (2004) Exploring the Update Universe. [Report]

MoL-2004-01: Schulz, Katrin (2004) A Case Study on the Paradox of Free Choice Permission. [Report]

PP-2004-23: Veltman, Frank (2004) Making Counterfactual Assumptions. [Report]

PP-2004-21: Venema, Yde (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective. [Report]

PP-2004-19: Wilde, Tine (2004) Installatiekunst biedt vragen in plaats van antwoorden. [Report]

PP-2004-18: Wilde, Tine (2004) Reflectieve dynamiek in het latere werk van Wittgenstein. Een onderzoek naar verbanden tussen zijn opmerkingen over kleur, aspecten zien en zekerheid. [Report]

MoL-2004-02: Zollmann, Andreas (2004) A Consistent and Efficient Estimator for the Data-Oriented Parsing Model. [Report]

X-2004-06: de Jonge, René (2004) IL-modellen en bisimulaties. [Report]

PP-2004-30: de Jongh, Dick (2004) Volledigheid en Onvolledigheid. [Report]

X-2004-05: der Grijn, Faustine van (2004) (Im)possibility of a coordinated attack. [Report]

PP-2004-27: ten Cate, Balder (2004) The first order formulas preserved under ultrafilter extensions are not recursively enumerable. [Report]

PP-2004-32: ten Cate, Balder and Franceschet, Massimo (2004) Guarded fragments with constants. [Report]

PP-2004-02: van Benthem, Johan (2004) A Mini-Guide to Logic In Action. [Report]

PP-2004-01: van Benthem, Johan (2004) Minimal Predicates, Fixed Points, and Definability. [Report]

PP-2004-15: van Benthem, Johan and Bezhanishvili, Guram and ten Cate, Balder and Sarenac, Darko (2004) Modal Logics for Products of Topologies. [Report]

PP-2004-13: van Benthem, Johan and Liu, Fenrong (2004) Diversity of Logical Agents in Games. [Report]

PP-2004-20: van Benthem, Johan and Sarenac, Darko (2004) The Geometry of Knowledge. [Report]

Thesis

DS-2004-02: Brand, Sebastian (2004) Rule-based Constraint Propagation: Theory and Applications. Doctoral thesis, University of Amsterdam.

DS-2004-01: Röhrig, Hein Philipp (2004) Quantum Query Complexity and Distributed Computing. Doctoral thesis, University of Amsterdam.

DS-2004-03: de Bruin, Boudewijn (2004) Explaining Games. On the Logic of Game Theoretic Explanations. Doctoral thesis, University of Amsterdam.