Reasoning with descriptions of trees

James Rogers, K. Vijay-Shanker
1992 Proceedings of the 30th annual meeting on Association for Computational Linguistics -  
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
more » ... he unification-based framework (Vijay-Shanker, 1992) Our logic serves to formalize the reasoning on which these applications are based.
doi:10.3115/981967.981977 dblp:conf/acl/RogersV92 fatcat:s5z7zi6gabaktjbg4xntdv5nmu