typed feature logic | Sciweavers

20

ACL
1997

93views Computational Linguistics» more ACL 1997»

Interleaving Universal Principles and Relational Constraints over Typed Feature Logic

13 years 6 months ago

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

claim paper

Read More »

19

click to vote

EACL
2003
ACL Anthology

151views Natural Language Processing» more EACL 2003»

AVM Description Compilation using Types as Modes

13 years 6 months ago

Download www.cs.toronto.edu

This paper provides a method for generating compact and efﬁcient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...

Gerald Penn

claim paper

Read More »

24

click to vote

ACL
2001

229views Computational Linguistics» more ACL 2001»

Tractability and Structural Closures in Attribute Logic Type Signatures

13 years 6 months ago

Download www.aclweb.org

This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...

Gerald Penn

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers