Items where Year is 2002

Report

PP-2002-15: Areces, Carlos and Heguiabehere, Juan (2002) HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. [Report]

PP-2002-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (2002) Resolution in Modal, Description and Hybrid Logic. [Report]

PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]

PP-2002-06: Bezhanishvili, Guram and Gehrke, Mai (2002) A New Proof of Completeness of S4 with respect to the Real Line. [Report]

PP-2002-18: Bezhanishvili, Nick (2002) Varieties of Two-Dimensional Cylindric Algebras. Part II. [Report]

PP-2002-12: Blackburn, Patrick and Marx, Maarten (2002) Constructive Interpolation in Hybrid Logic. [Report]

PP-2002-19: Bod, Rens and Kaplan, Ronald (2002) A Data-Oriented Parsing Model for Lexical-Functional Grammar. [Report]

MoL-2002-07: Buratto, Luciano (2002) Back-off as Parameter Estimation for DOP models. [Report]

MoL-2002-01: Cable, Seth (2002) Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and How Pie-Cutting Relates to Ancient Heaps of Sand. [Report]

MoL-2002-03: Conradie, Willem (2002) The Beth Property for Three Extensions of Modal Logic. [Report]

PP-2002-20: Corsi, Giovanna (2002) Counterpart Semantics. A Foundational study on Quantified Modal Logics. [Report]

MoL-2002-08: Counihan, Marian (2002) What do four-year-olds have in common with Frege? [Report]

PP-2002-17: D'Agostino, Giovanna and Lenzi, Giacomo (2002) On Modal mu-Calculus with Explicit Interpolants. [Report]

MoL-2002-02: Duda, John (2002) Context and Mythology. [Report]

PP-2002-09: Gehrke, Mai and Nagahashi, Hideo and Venema, Yde (2002) A Sahlqvist Theorem for Distributive Modal Logic. [Report]

PP-2002-03: Hansen, Helle Hvid and Pauly, Marc (2002) Axiomatising Nash-Consistent Coalition Logic. [Report]

MoL-2002-05: Hernández, Bernadette Martínez (2002) Automated Reasoning with Boolean ABoxes. [Report]

PP-2002-01: Janssen, Theo (2002) Independent Choices and the Interpretation of IF Logic. [Report]

PP-2002-04: Lee, Troy (2002) Arithmetical Definability over Finite Structures. [Report]

PP-2002-02: Marx, Maarten and Masuch, Michael (2002) Regular Equivalence and Dynamic Logic. [Report]

MoL-2002-10: Nauze, Fabrice (2002) Scenarios for the Pass\'e Simple and Imparfait: An Event Calculus Approach to French Semantics. [Report]

PP-2002-05: Niekus, Joop (2002) Individual Choice Sequences in the Work of L.E.J.Brouwer. [Report]

PP-2002-08: Rajani, Ravi (2002) Generic Structures. [Report]

MoL-2002-06: Sigurbjörnsson, Börkur (2002) Structural Properties of Questionnaires. [Report]

MoL-2002-09: Singh, Rajvinder (2002) A Study of Optimality Theory and the Human Sentence Processing Mechanism. [Report]

PP-2002-11: Venema, Yde (2002) Atomless Varieties. [Report]

PP-2002-10: Venema, Yde (2002) Duals of subdirectly irreducible modal algebras. [Report]

MoL-2002-04: Vidal, Mathieu (2002) Classifying Conditionals. [Report]

PP-2002-07: van Benthem, Johan and Bezhanishvili, Guram and Gehrke, Mai (2002) Euclidean Hierarchy in Modal Logic. [Report]

PP-2002-13: van Leusen, Noor and Muskens, Reinhard (2002) Construction by Description in Discourse Representation. [Report]

Thesis

DS-2002-02: Aiello, Marco (2002) Spatial Reasoning: Theory and Practice. Doctoral thesis, University of Amsterdam.

DS-2002-03: Engelhardt, Yuri (2002) The Language of Graphics. Doctoral thesis, University of Amsterdam.

DS-2002-05: Gennari, Rosella (2002) Mapping Inferences: Constraint Propagation and Diamond Satisfaction. Doctoral thesis, University of Amsterdam.

DS-2002-01: Massios, Nikos (2002) Decision-Theoretic Robotic Surveillance. Doctoral thesis, University of Amsterdam.

DS-2002-06: Vermeulen, Ivar (2002) A Logical Approach to Competition in Industries. Doctoral thesis, University of Amsterdam.

DS-2002-04: van Dam, Willem Klaas (2002) On Quantum Computation Theory. Doctoral thesis, University of Amsterdam.