ILLC Publications, All Series, 1999

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

PP-1999-27:
Michiel van Lambalgen Conditional Quantification, or Poor Man's Probability.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-1999-26:
Remko Bonnema, Paul Buying, Remko Scha A New Probability Model for Data Oriented Parsing (Extended Version).
1.Abstract.
PP-1999-25:
Marc Pauly, Alexandru Baltag (editors) Proceedings of the ILLC Workshop on Logic and Games. Held in Amsterdam, November 19-20, 1999.
1.Full Text, 2.Abstract, 3.Aiello, 4.Baltag, 5.Dekker, 6.Ditmarsch, 7.Emdeboas, 8.Groenendijk, 9.Harrenstein, 10.Janssen, 11.Kooi, 12.Pauly, 13.Rubinstein, 14.Rueckert, 15.Sandu, 16.Vanrooy, 17.Vilks (PS), 18.Vilks (PDF).
PP-1999-24:
Marco Aiello, Johan van Benthem Logical Patterns in Space.
1.Full Text, 2.Abstract.
PP-1999-23:
Berislav Zarnic Validity of Practical Inference.
1.Full Text, 2.Abstract.
PP-1999-22:
Johan van Benthem When are Two Games the Same?.
1.Full Text, 2.Abstract.
PP-1999-21:
Nikos Massios, Frans Voorbraak Hierarchical Decision-Theoretic Robotic Surveillance.
1.Full Text, 2.Abstract.
PP-1999-20:
Eva Hoogland, Maarten Marx, Martin Otto Beth Definability for the Guarded Fragment.
1.Full Text, 2.Abstract.
PP-1999-19:
Jeroen Groenendijk The Logic of Interrogation (classical version).
1.Full Text, 2.Abstract.
PP-1999-18:
Renata Wassermann, Eduardo Fermé A Note on Prototype Revision.
1.Full Text, 2.Abstract.
PP-1999-17:
Renata Wassermann, Sven Ove Hansson Local Change.
1.Full Text, 2.Abstract.
PP-1999-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics.
1.Full Text, 2.Abstract.
PP-1999-15:
Maarten Marx, Stefan Schlobach, Szabolcs Mikulás Labelled Deduction for the Guarded Fragment.
1.Full Text, 2.Abstract.
PP-1999-14:
Christof Monz, Maarten de Rijke A Tableau Calculus for Pronoun Resolution.
1.Full Text, 2.Abstract.
PP-1999-13:
Pieter W. Adriaans Learning Shallow Context-Free Languages under Simple Distributions.
1.Full Text, 2.Abstract.
PP-1999-12:
Paul Dekker Coreference and Representationalism.
1.Full Text, 2.Abstract.
PP-1999-11:
Paul Dekker The Semantics of Dynamic Conjunction.
1.Full Text, 2.Abstract.
PP-1999-10:
Eva Hoogland Algebraic Characterizations of Various Beth Definability Properties.
1.Full Text, 2.Abstract.
PP-1999-09:
Jaap Kamps, László Pólos Reducing Uncertainty: A Formal Theory of Organizations in Action.
1.Full Text, 2.Abstract.
PP-1999-08:
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic.
1.Full Text, 2.Abstract.
PP-1999-07:
Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity.
1.Full Text, 2.Abstract.
PP-1999-06:
Maarten Marx Amalgamation in Finite Dimensional Cylindric Algebras.
1.Full Text, 2.Abstract.
PP-1999-05:
Hans Rott Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-1999-04:
Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics.
1.Full Text, 2.Abstract.
PP-1999-03:
Maarten Marx, Carlos Areces Failure of Interpolation in Combined Modal Logics.
1.Full Text, 2.Abstract.
PP-1999-02:
Maarten Marx Relativized Relation Algebras.
1.Full Text, 2.Abstract.
PP-1999-01:
Maarten Marx Relation Algebras Can Tile.
1.Full Text, 2.Abstract.
X-1999-02:
J.A.G. Groenendijk Questions.
1.Full Text, 2.Abstract.
X-1999-01:
Boudewijn P. de Bruin Game Transformations and Game Equivalence.
1.Full Text, 2.Abstract.
MoL-1999-04:
Walter Dean Three Recursion Theoretic Concepts of Genericity.
1.Full Text, 2.Abstract.
MoL-1999-03:
Rafael Accorsi Exploring the Behaviour of Feature Interaction via Stable Models.
1.Full Text.
MoL-1999-02:
Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PS).
MoL-1999-01:
Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X