Items where Year is 1999

Group by: Authors | Item Type | No Grouping
Jump to: A | B | D | G | H | I | K | M | P | R | S | T | V | W | Z
Number of items: 37.


MoL-1999-03: Accorsi, Rafael (1999) Exploring the Behaviour of Feature Interaction via Stable Models. [Report]

PP-1999-13: Adriaans, Pieter W. (1999) Learning Shallow Context-Free Languages under Simple Distributions. [Report]

PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]

PP-1999-07: Areces, Carlos and Blackburn, Patrick and Marx, Maarten (1999) Hybrid Logics. Characterization, Interpolation and Complexity. [Report]

PP-1999-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Report]


PP-1999-26: Bonnema, Remko and Buying, Paul and Scha, Remko (1999) A New Probability Model for Data Oriented Parsing (Extended Version). [Report]


MoL-1999-04: Dean, Walter (1999) Three Recursion Theoretic Concepts of Genericity. [Report]

PP-1999-12: Dekker, Paul (1999) Coreference and Representationalism. [Report]

PP-1999-11: Dekker, Paul (1999) The Semantics of Dynamic Conjunction. [Report]

X-1999-01: de Bruin, Boudewijn P. (1999) Game Transformations and Game Equivalence. [Report]


DS-1999-01: Gerbrandy, Jelle (1999) Bisimulations on Planet Kripke. Doctoral thesis, University of Amsterdam.

MoL-1999-02: Grabmayer, Clemens (1999) Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning. [Report]

X-1999-02: Groenendijk, J.A.G. (1999) Questions. [Report]

PP-1999-19: Groenendijk, Jeroen (1999) The Logic of Interrogation (classical version). [Report]


PP-1999-10: Hoogland, Eva (1999) Algebraic Characterizations of Various Beth Definability Properties. [Report]

PP-1999-20: Hoogland, Eva and Marx, Maarten and Otto, Martin (1999) Beth Definability for the Guarded Fragment. [Report]


PP-1999-08: Iemhoff, Rosalie (1999) On the Admissible Rules of Intuitionistic Propositional Logic. [Report]


PP-1999-09: Kamps, Jaap and Pólos, László (1999) Reducing Uncertainty: A Formal Theory of Organizations in Action. [Report]


DS-1999-03: Maat, Jaap (1999) Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz. Doctoral thesis, University of Amsterdam.

PP-1999-06: Marx, Maarten (1999) Amalgamation in Finite Dimensional Cylindric Algebras. [Report]

PP-1999-01: Marx, Maarten (1999) Relation Algebras Can Tile. [Report]

PP-1999-02: Marx, Maarten (1999) Relativized Relation Algebras. [Report]

PP-1999-03: Marx, Maarten and Areces, Carlos (1999) Failure of Interpolation in Combined Modal Logics. [Report]

PP-1999-15: Marx, Maarten and Schlobach, Stefan and Mikulás, Szabolcs (1999) Labelled Deduction for the Guarded Fragment. [Report]

PP-1999-21: Massios, Nikos and Voorbraak, Frans (1999) Hierarchical Decision-Theoretic Robotic Surveillance. [Report]

PP-1999-14: Monz, Christof and de Rijke, Maarten (1999) A Tableau Calculus for Pronoun Resolution. [Report]


MoL-1999-01: Palmigiano, Alessandra (1999) Normal Gentzen Deductions in the Classical Case. [Report]

PP-1999-25: Pauly, Marc and Baltag (editors), Alexandru (1999) Proceedings of the ILLC Workshop on Logic and Games. Held in Amsterdam, November 19-20, 1999. [Report]


PP-1999-05: Rott, Hans (1999) Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework. [Report]


DS-1999-02: Sima'an, Khalil (1999) Learning efficient disambiguation. Doctoral thesis, University of Amsterdam.


DS-1999-04: Terhal, Barbara (1999) Quantum Algorithms and Quantum Entanglement. Doctoral thesis, University of Amsterdam.

PP-1999-04: Terui, Kazushige (1999) Labelled Tableau Calculi Generating Simple Models for Substructural Logics. [Report]


PP-1999-22: van Benthem, Johan (1999) When are Two Games the Same? [Report]

PP-1999-27: van Lambalgen, Michiel (1999) Conditional Quantification, or Poor Man's Probability. [Report]


PP-1999-18: Wassermann, Renata and Fermé, Eduardo (1999) A Note on Prototype Revision. [Report]

PP-1999-17: Wassermann, Renata and Hansson, Sven Ove (1999) Local Change. [Report]


PP-1999-23: Zarnic, Berislav (1999) Validity of Practical Inference. [Report]

This list was generated on Tue Feb 27 00:30:05 2024 CET.