<< Prev | - Up - |
We will demostrate some larger systems built in different projects of the SFB 378 where the technology presented in this lecture is used:
Chorus Demo System: A unification grammar with chart parser with underspecified semantics based on dominance constraints.
A solver for dominance constraints is needed in Chorus and Lisa and built by in a Chorus/Negra/Nep cooperation.
Negra Demo Applet: A dependency grammar with a parser whose implementation is based on finite domain constraints and finite set constraints in Oz.
<< Prev | - Up - |