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 theory (Marcus, Hindle & Fleck, 1983), in a compact organization of the basic structures of Tree-Adjoining Grammars (Vijay-Shanker & Schabes, 1992), and in a new characterization of the adjoining operation that allows a clean integration of TAGs into the unification-based framework (Vijay-Shanker, 1992) Our logic serves to formalize the reasoning on which these applications are based.
Cite
CITATION STYLE
Rogers, J., & Vijay-Shanker, K. (1992). Reasoning with descriptions of trees. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (Vol. 1992-June, pp. 72–80). Association for Computational Linguistics (ACL). https://doi.org/10.3115/981967.981977
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
