Reasoning with Descriptions of Trees (1992) [36 citations — 5 self]
by
James Rogers
,
K. Vijay-Shanker
In ACL-92, 72--80
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Rogers92reasoningwith,
author = {James Rogers and K. Vijay-Shanker},
title = {Reasoning with Descriptions of Trees},
booktitle = {In ACL-92, 72--80},
year = {1992},
pages = {72--80}
}
author = {James Rogers and K. Vijay-Shanker},
title = {Reasoning with Descriptions of Trees},
booktitle = {In ACL-92, 72--80},
year = {1992},
pages = {72--80}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
In this paper we introduce a logic for describing trees which allows us to reason about both the parent and domination relationships. The use of domination has found a number of applications, such as in deterministic parsers based on Description the- ory (Marcus, Hindle & Fleck, 1983), in a com- pact organization of the basic structures of Tree- Adjoining Grammars (Vijay-Shanker & Schabes, 1992), and in a new characterization of the ad- joining operation that allows a clean integration of TAGs into the unification-based framework (VijayShankeL 1992) Our logic serves to formalize the reasoning on which these applications are based.
Citations
| 2010 | The Design and Analysis of Computer Algorithms – Aho, Hopcroft, et al. - 1974 |
| 351 | First-Order Logic and Automated Theorem Proving – Fitting - 1990 |
| 245 | Theory of Syntactic Recognition for Natural Languages – Marcus - 1980 |
| 93 | D-Theory: Talking about Talking about Trees – Marcus, Hindle - 1983 |
| 66 | Using descriptions of trees in a tree adjoining grammar – Vijay-Shanker - 1992 |
| 55 | The Foundations of Mathematics: A – Beth - 1966 |
| 15 | Deterministic parsing and description theory – Marcus - 1987 |
| 1 | A formalization of partial descriptions of trees – Rogers - 1992 |
