Autor | Titel | Reihe/Nr | Jahr
|
---|
H.J.Verkuyl and A.Bende-Farkas | On Hungarian Noun Phrase Structure | uil-ots-97-003/TL-CL | 1997
|
H.J.Verkuyl | Events as Dividuals: Aspectual Composition and Event Semantics | uil-ots-97-004/TL-CL | 1997
|
R.Backofen | Expressivity and Decidability of First-Order Languages over Feature Trees | Diss. | 1994
|
Renate Bartsch | Understanding Understanding | ILLC-LP-96-01 | 1996
|
Rens Bod and Remko Scha | Data-Oriented Language Processing: An Overview | ILLC-LP-96-13 | 1996
|
Renate Bartsch | Propositional Attritudes in Dynamic Conceptual Semantics | ILLC-LP-96-11 | 1996
|
Peter van Emde Boas | The Convenience of Tilings | ILLC-CT-96-01 | 1996
|
Michael van Lambalgen and Jaap van der Does | A Logic of Vision | ILLC-LP-96-14 | 1996
|
Paul Dekker | Reference and Representation | ILLC-LP-96-12 | 1996
|
Jelle Gerbrandy and Willem Groeneveld | Reasoning about Information Change | ILLC-LP-96-10 | 1996
|
Jaap van der Does, Willem Groeneveld and Frank Veltman | An Update of MIGHT | ILLC-LP-96-09 | 1996
|
A.S.Troelstra | From Constructivism to Computer Science | ILLC-CT-96-02 | 1996
|
Lex Hendriks | Intuitionistic Propositional Logic with only Equivalence has no Interpolation | ILLC-ML-96-13 | 1996
|
Hiroakira Ono | Decidability and finite model property of substructural logics | ILLC-ML-95-09 | 1995
|
Kees Doets | Proper Classes | ILLC-ML-96-04 | 1996
|
Hajnal Andreka, Johan van Benthem and Istvan Nemeti | Modal Languages and Bounded Fragments of Predicate Logic | ILLC-ML-96-03 | 1996
|
Domenico Zamella | On Forcing in Bounded Arithmetic | ILLC-ML-96-02 | 1996
|
Chris Thornton | Brave Mobots Use Representation | CSS-401 | 1995
|
Chris Thornton | Parity: The Problem that Won't Go Away | CSS-400 | 1995
|
Chris Thornton | Why GAs are Hard to Use | CSS-399 | 1995
|
Jamwes V.Stone | A Canonical Microfunction for Learning Perceptual Invariances | CSS-398 | 1995
|
Adrian Thompson , INman Harvey and Philip Husbands | Unconstrained Evolution and Hard Consequences | CSS-397 | 1995
|
Ibrahim Kuscu | Incrementally Learning the Rules for Supervised Tasks: The Monk's Problem | CSS-396 | 1995
|
A.Jonathan Howell and Hilary Buxton | Receptive Field Functions for Face Recognition | CSS-391 | 1995
|
A.Jonathan Howell and Hilary Buxton | Receptive Field Functions for Face Recognition | CSS-391 | 1995
|
Ezequiel A. Di Paolo | A Computational Model of Speciation in Non-Uniform Environments Without Physical Barriers | CSS-412 | 1996
|
Sadhana Puntambekar and Benedict du Boulay | Investigating the Changes in the Metacognitive Activities of Students while Interacting with a Computer Tool | CSS-411 | 1996
|
Sadhana Puntambekar and Benedict du Boulay | Design and Development of MIST: A System to Help Students develop Metacognition | CSS-410 | 1996
|
Giles Mayley | No Pain, No Gain: Landscapes , Learning Costs and Genetic Assimilation | CSS-409 | 1996
|
Margaret A.Boden | Consciousness and Human Identity: An Interdisciplinary Perspective | CSS-405 | 1996
|
Stephen Eglen, Jim Stone and Harry Barrow | Learning Perceptual Invariances | CSS-404 | 1996
|
Remedios de Dios Bulos | Goal Feasibility Assessment: Architecture, Representation and Control Strategy | CSS-403 | 1996
|
Remedios de Dios Bulos | Goal Detection: Representation, Mechanism , Architecture | CSS-402 | 1996
|
Steve M.Easterbrook and Theodoros N.Arvanits | Preparing Students for Software Engineering | CSS-413 | 1996
|
Johan van Benthem | Dynamic Bits and Pieces | LP-97-01 | 1997
|
Paul Dekker | On Denoting Descriptions | LP-97-02 | 1997
|
Paul Dekker | On First Order Information Exchange | LP-97-03 | 1997
|
Jelle Gerbrandy | Dynamic Epistemic Logic | LP-97-04 | 1997
|
Carl H.Smith, Rusins Freivalds | Category, Measure, Inductive Inference: A Triality Theorem and its Applications | CT-97-01 | 1997
|
Peter van Emde Boas | Resistance is Futile; Formal Linguistic Observations on Design Patterns | CT-97-02 | 1997
|
Harry Buhrman, Dieter van Melkebeek | Complete Sets under Non-Adaptive Reductions are Scare | CT-97-03 | 1997
|
Dick de Jongh, Giorgi Japaridze | The Logic of Provability | ML-97-01 | 1997
|
Alexander Keller | Instant Radiosity | FBI-IB 287/97 | 1997
|
Frank Isselhard, Guido Brunnett, Thomas Schreiber | Polyhedral Reconstruction of 3D Objects by Tetrahedra Removal | FBI-IB 288/97 | 1997
|
Stefan Heinrich | Monte Carlo Complexity of Global Solution of Integral Equations | FBI-IB 289/97 | 1997
|
J.Thees, R.Gotzhein | Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme | FBI-IB 209/97 | 1997
|
Rodrigo Readi-Nasser | mj-Reduction for Proving in Predicate Logic | FBI-IB 291/97 | 1997
|
| | |
|
Frans Voorbraak | A Nonmonotonic Observation Logic | LP-1997-09 | 1997
|
Ian Hodkinson and Szabolcs Mikulas | Non-finitely axiomatizable, union-free reducts of algebras of relations | ML-1997-04 | 1997
|
Johan van Benthem | Wider Still and Wider ... Resetting the Bounds of Logic | LP-1997-08 | 1997
|
Johan van Benthem | Modality, Bisimulation and Interpolation in Infinitary Logic | ML-97-06 | 1997
|
Johan van Benthem | The Range of Modal Logic: an Essay in Memory of George Gargov | ML-97-05 | 1997
|
Michiel van Lambalgen, Jaap van der Does | A Logic of Vision | LP-97-07 | 1997
|
Jan van Eijck | Typed Logic With States | LP-97-06 | 1997
|
Giovanna D'Agostino | The Los-Tarski and Lyndon Theorem for the mu-logic | ML-97-03 | 1997
|
Maarten Marx | Complexity of Modal Logics of Relations | ML-97-02 | 1997
|
Jelle Gerbrandy | Bisimulation and Bounded Bisimulation | LP-97-05 | 1997
|
Inga Kohlhof, Susanne Winkler, Hans Drubig (eds.) | Proceedings of the Goettingen Focus Workshop, 17.DGfS, March 1-3, 1995 | Arbeitspapiere des Sonderforschungsbereichs 340 "Sprachtheoretische Grundlagen f"ur die Computerlinguistik" | 1995
|
Steven Givant and Yde Venema | The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators | ML-1998-05 | 1998
|
Yde Venema | Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes | ML-1998-04 | 1998
|
Renata Wasserman | Resource Bounded Belief revision | LP-1998-04 | 1998
|
Renata Wasserman | On Structured Belief Bases - Preliminary Report | CT-1998-02 | 1998
|
Hans de Nivelle | Resolution Decided the Guarded Fragment | CT-1998-01 | 1998
|
Renate Bartsch | The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules | LP-1998-03 | 1998
|
Hans de Nivelle | Decoding the E+-Class by an A Posteriori, Liftable Order | ML-1998-03 | 1998
|
Maarten Marx | Relation Algebras Can Tile | PP-1999-01 | 1999
|
Maarten Marx | Relativized Relation Algebras | PP-1999-02 | 1999
|
Kazushige Terui | Labelled Tableau Calculi Generating Simple Models for Substructural Logics | P-1999-04 | 1999
|
Maarten Marx | Failure of Interpolation in Combined Modal Logics | PP-1999-03 | 1999
|
Hans Rott | Coherence and Conservation in the Dynamics of Belief. Part I | PP-1999-05 | 1999
|
Rosalie Iemhoff | On the Admissible Rules of Intuitionistic Propositional Logic | P-1999-08 | 1999
|
Rosalie Iemhoff | On the Admissible Rules of Intuitionistic Propositional Logic | P-1999-08 | 1999
|
Jaap Kamps, Laszlo Polos | Reducing Uncertainty: A Formal Theory of Organizations in Action | PP-1999-09 | 1999
|
Jaap Kamps, Laszlo Polos | Reducing Uncertainty: A Formal Theory of Organizations in Action | PP-1999-09 | 1999
|
Paul Dekker | The Semantics of Dynamic Conjunction | P-1999-11 | 1999
|
Paul Dekker | Coreference and Representation | P-1999-12 | 1999
|
Pieter W.Adriaans | Learning Shallow Context-Free Languages under Simple Distributions | PP-1999-13 | 1999
|
Christof Monz, Maarten De Rijke | A Tableau Calculus for Pronoun Resolution | PP-1999-14 | 1999
|
Maarten Marx, Stefan Schlobach, Szabolcs Mikulas | Labelled Deduction for the Guraded Fragment | P-1999-15 | 1999
|
Alexander Keller | Hierarchical Monte Carlo Image Synthesis | Uni-KL-FBI-298/99 | 1999
|
Stefan Heinrich | Wavelet Monte Carlo Methods for the Global Solution of Integral Equations | Uni-KL-FBI-299/99 | 1999
|
Stefan Heinrich | The Multilevel Methods of Dependent Tests | Uni-KL-FBI-300/99 | 1999
|
Carlos Areces, Patrick Blackburn, Maarten Marx | Hybrid Logics. Characterization, Interpolation and Complexity | PP-1999-07 | 1999
|
Maarten Marx | Amalgamation in Finite Dimensional Cylindric Algebras | PP-1999-06 | 1999
|
Eva Hoogland | Algebraic Characterization of Various Beth Definability Properties | PP-1999-10 | 1999
|
Paul Kirchberg, Otto Mayer | Integration temporallogischer Verarbeitungskonzepte in C++ | UNI-KL-FBI-294/97 | 1997
|
A.Disch, p.Jacob, M.Muenchhofen | A 3D-Modelling 7 Visualization-Toolkit for web-based Applications | UNI-KL-FBI-295/98 | 1998
|
A.Disch, p.Jacob, M.Muenchhofen | A 3D-Modelling 7 Visualization-Toolkit for web-based Applications | UNI-KL-FBI-295/98 | 1998
|
Stefan Heinrich, Eugene Sindambiwe | Monte Carlo Complexity of Parametric Integration | UNI-KL-FBI-297/98 | 1998
|
10.04.00 | 10.04.00 ausleihbar | |
|
10.04.00 | 10.04.00 ausleihbar | |
|