Interleaving universal principles and relational constraints over typed feature logic

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 1997-July, Issue , 1997, Pages 1-8

  Gotz, Thilo ^a   Meurers, Detmar ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS;

COMPACT REPRESENTATION; DEFINITE CLAUSE; ENCODINGS; INTERLEAVINGS; LINGUISTIC THEORY; LOGIC SYSTEMS; MODULARS; RELATIONAL CONSTRAINT; TYPED FEATURE LOGIC; UNDERSPECIFICATION;

COMPUTER CIRCUITS;

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

References (22)

1. Ai-Kaci, H. (1991). Warren's Abstract Machine. MIT Press.
2. Carpenter, B. (1992). The logic of typedfeature structures, Volume 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
3. Carpenter, B. and G. Penn (1994). ALE - The Attribute Logic Engine, User's Guide, Version 2.0.1, December 1994. Technical report, Carnegie Mellon University.
4. Carpenter, B. and Y. Qu (1995). An abstract machine for attribute-value logics. In Proceedings of the Fourth International Workshop on Parsing Technology. Prague.
5. DSrre, J. and M. Dorna (1993, August). CUF - a formalism for linguistic knowledge representation. In J. DSrre (Ed.), Computational aspects of constraint based linguistic descriptions I, pp. 1-22. Universit~it Stuttgart: DYANA-2 Deliverable R1.2.A.
6. Emele, M. C. (1994). The typed feature structure representation formalism. In Proceedings of the International Workshop on Sharable Natural Language Resources, Ikoma, Nara, Japan.
7. Emele, M. C. and R. Zajac (1990). Typed unification grammars. In Proceedings of the 13th International Conference on Computational Linguistics.
8. GStz, T. and W. D. Meurers (1995). Compiling HPSG type constraints into definite clause programs. In Proceedings of the Thrirty-Third Annual Meeting of the ACL, Boston. Association for Computational Linguistics.
9. GStz, T. and W. D. Meurers (1996). The importance of being lazy - using lazy evaluation to process queries to HPSG grammars. In P. Blache (Ed.), Acres de la troisi~me confdrence anuelle sur le traitment automatique du langage naturel.
10. GStz, T. and W. D. Meurers (1997). The ConTroll system as large grammar development platform. In Proceedings of the ACL/EA CL post-conference workshop on Computational Environments for Grammar Development and Linguistic Engineering, Madrid, Spain.
11. Haridi, S. and S. Janson (1990). Kernel Andorra Prolog and its computation model. In D. H. D. Warren and P. Szeredi (Eds.), Proceedings of the seventh international conference on logic programming, pp. 31-46. MIT Press.
12. Hinrichs, E., D. Meurers, F. Richter, M. Sailer, and H. Winhart (1997). Ein HPSG-Fragment des Deutschen, Teil 1: Theorie. Arbeitspapiere des SFB 340 Nr. 95, Universit~it Tiibingen.
13. King, P. J. (1989). A logical formalism for head-driven phrase structure grammar. Ph. D. thesis, University of Manchester.
14. Naish, L. (1985). Negation and Control in Prolog. Springer-Verlag.
15. Penn, G. (in prep.). Statistical Optimizations in a Feature Structure Abstract Machine. Ph.D. thesis, Carnegie Mellon University.
16. Pollard, C. and I. A. Sag (1994). Head-Driven Phrase Structure Grammar. Chicago: University of Chicago Press.
17. Santos Costa, V., D. H. D. Warren, and R. Yang (1991). The Andorra-I preprocessor: Supporting full Prolog on the Basic Andorra model. In Proceedings of the Eighth International Conference on Logic Programming, pp. 443-456.
18. Shieber, S. M. (1986). An Introduction to Unification-Based Approaches to Grammar. Number 4 in CSLI Lecture Notes. Center for the Study of Language and Information.
19. Stabler, E. P. and M. Johnson (1993). Topics in principle based parsing. Course notes for the 1993 LSA Summer Institute.
20. Warren, D. H. D. (1983). An abstract Prolog instruction set. Technical note 309, SRI International.
21. Wintner, S. (1997). An Abstract Machine for Unification Grammars. Ph.D. thesis, Technion, Haifa, Israel.
22. Zahnert, A. (1997). fl2c - ein Compiler ffir CLP(TFS). Diplomarbeit, Fakultit fur Informatik, Universitit Tiibingen.