IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #779   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:34
779 Add to my selection
      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},
      URL = {},
      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}
Last modified: Thu October 16 2014 19:11:34         BibAdmin