113
Voted
ACL
1997
15 years 4 months ago
1997
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...