%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:45 +0100 GMT
%    
% Selection : Author: Ulrich_Geske
%




@InProceedings{Bedersdorfer_et_al:1993,
      AUTHOR = {Bedersdorfer, Jochen and Konrad, Karsten and Neis, Ingo and Scherf, Oliver and Steffen, Jörg and Wein, Michael},
      TITLE = {Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen},
      YEAR = {1993},
      BOOKTITLE = {Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-25},
      NUMBER = {RR-93-35},
      PAGES = {17-30},
      EDITOR = {Boley, Harold and Bry, François and Geske, Ulrich},
      SERIES = {Research Report},
      ADDRESS = {Berlin, Germany},
      URL = {http://www.ags.uni-sb.de/~konrad/papers/slant.ps.gz},
      ABSTRACT = {The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations.},
      ANNOTE = {COLIURL : Bedersdorfer:1993:STG.pdf Bedersdorfer:1993:STG.ps}
}

@InProceedings{Krieger_Schäfer:1993,
      AUTHOR = {Krieger, Hans-Ulrich and Schäfer, Ulrich},
      TITLE = {TDL - A Type Description Language for Unification-Based Grammars},
      YEAR = {1993},
      BOOKTITLE = {Proceedings of the Workshop on Neuere Entwicklungen der deklarativen KI-Programmierung},
      NUMBER = {RR-93-35},
      PAGES = {67-82},
      EDITOR = {Boley, Harold and Bry, François and Geske, Ulrich},
      SERIES = {DFKI Research Report},
      ADDRESS = {Saarbrücken, Germany},
      PUBLISHER = {DFKI},
      URL = {http://www.dfki.de/dfkibib/publications/docs/long_version.ps},
      ABSTRACT = {This paper presents TDL, a typed feature-based representation language and inference system. Type definitions in TDL consist of type and feature constraints over the boolean connectives. TDL supports open- and closed-world reasoning over types and allows for partitions and incompatible types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in TDL is accomplished through specialized modules.},
      ANNOTE = {COLIURL : Krieger:1993:TTD.pdf Krieger:1993:TTD.ps}
}