Computer Science – Computation and Language
Scientific paper
1994-06-08
Computer Science
Computation and Language
Will Appear in Proc. COLING-94
Scientific paper
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.
Krieger Hans-Ulrich
Schäfer Ulrich
No associations
LandOfFree
TDL--- A Type Description Language for Constraint-Based Grammars does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with TDL--- A Type Description Language for Constraint-Based Grammars, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and TDL--- A Type Description Language for Constraint-Based Grammars will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-218298