5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Hans-Ulrich Krieger, Ulrich Schäfer
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 con…