Sciweavers

ACL
1997
14 years 24 days ago
Interleaving Universal Principles and Relational Constraints over Typed Feature Logic
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
Thilo Götz, Detmar Meurers