Generalized encoding of description spaces and its application to typed feature structures

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 2002-July, Issue , 2002, Pages 64-71

  Penn, Gerald ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ENCODING (SYMBOLS); SIGNAL ENCODING;

ENCODINGS; FIXED SIZE; FORMALISATION; IMPLEMENTATION SYSTEM; ITS APPLICATIONS; ONTOLOGY'S; PARTIALLY ORDERED SET; STANDARD DEFINITIONS; TYPED FEATURE STRUCTURES; UNION-FIND;

SET THEORY;

EID: 7444244726     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. A. Aggoun and N. Beldiceanu. 1990. Time stamp techniques for the trailed data in constraint logic programming systems. In S. Bourgault and M. Dincbas, editors, Programmation en Logique, Actes du 8eme Seminaire, pages 487-509.
2. U. Callmeier. 2001. Efficient parsing with large-scale unification grammars. Master's thesis, Universitaet des Saarlandes.
3. B. Carpenter. 1992. The Logic of Typed Feature Structures. Cambridge.
4. G. Erbach. 1994. Multi-dimensional inheritance. In Proceedings of KONVENS 94. Springer.
5. C. Holzbaur. 1992. Metastructures vs. attributed variables in the context of extensible unification. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, pages 260-268. Springer Verlag.
6. LinGO. 1999. The LinGO grammar and lexicon. Available on-line at http://lingo.stanford.edu.
7. C. Mellish. 1991. Graph-encodable description spaces. Technical report, University of Edinburgh Department of Artificial Intelligence. DYANA Deliverable R3.2B.
8. C. Mellish. 1992. Term-encodable description spaces. In D.R. Brough, editor, Logic Programming: New Frontiers, pages 189-207. Kluwer.
9. G. Penn. 1993. The ALE HPSG benchmark grammar. Available on-line at http://www.cs.toronto.edu/ - gpenn/ale.html.
10. G. Penn. 1999. An optimized Prolog encoding of typed feature structures. In Proceedings of the 16th International Conference on Logic Programming (ICLP-99), pages 124-138.
11. G. Penn. 2000. The Algebraic Structure of Attributed Type Signatures. Ph.D. thesis, Carnegie Mellon University.