59 search results - page 1 / 12 » Formal Aspects and Parsing Issues of Dependency Theory |
113
Voted
ACL
1998
15 years 2 months ago
1998
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
116
Voted
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
107
Voted
ARTMED
1998
15 years 13 days ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
106
click to vote
ACL
1989
15 years 1 months ago
1989
The Context-Free backbone of some natural language analyzers produces all possible CF parses as some kind of shared forest, from which a single tree is to be chosen by a disambigu...
100
Voted
IJCAI
1989
15 years 1 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...