References

1   H. At-Kaci and R. Di Cosmo. Compiling order-sorted feature term unification. Technical report, Digital Paris Research Laboratory, 1993. PRL Technical Note 7, downloadable from http://www.isg.sfu.ca/life/. 

2   H. At-Kaci and A. Podelski. Towards a meaning of LIFE. Journal of Logic Programming, 16:195--234, 1993. 

3   H. At-Kaci, A. Podelski, and S. C. Goldstein. Order-sorted feature theory unification. Journal of Logic, Language and Information, 30:99--124, 1997. 

4   Ulrich Callmeier, PET  a platform for experimentation with efficient HPSG processing techniques, Natural Language Engineering, v.6 n.1, p.99-107, March 2000 

5   Bob Carpenter, The logic of typed feature structures, Cambridge University Press, New York, NY, 1992 

6   L. Ciortuz. Towards ILP-based learning of attribute path values in typed-unification grammars. 2002. (Submitted). 

7   L. Ciortuz. On compilation of head-corner bottom-up chart-based parsing with unification grammars. In Proceedings of the IWPT 2001 International Workshop on Parsing Technologies, pages 209--212, Beijing, China, October 17--19, 2001. 

8   Liviu-Virgil Ciortuz, LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars, Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence, p.3-17, September 16-20, 2002 

9   A. Copestake, D. Flickinger, and I. Sag. A Grammar of English in HPSG: Design and Implementations. Stanford: CSLI Publications, 1999. 

10   D. Gerdemann. Term encoding of typed feature structures. In Proceedings of the 4th International Workshop on Parsing Technologies, pages 89--97, Prague, Czech Republik, 1995. 

11   R. M. Kaplan and J. Bresnan. Lexical-functional grammar: A formal system for grammatical representation. In J. Bresnan, editor, The Mental Representation of Grammatical Relations, pages 173--381. The MIT Press, 1982. 

12   Robert Malouf , John Carroll , Ann Copestake, Efficient feature structure operations without compilation, Natural Language Engineering, v.6 n.1, p.29-46, March 2000 

13   Y. Mitsuishi, K. Torisawa, and J. Tsujii. HPSG-Style Underspecified Japanese Grammar with Wide Coverage. In Proceedings of the 17th International Conference on Computational Linguistics: COLING-98, pages 867--880, 1998. 

14   S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629--679, 1994. 

15   Stefan Mller. Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar fr das Deutsche. Number 394 in Linguistische Arbeiten. Max Niemeyer Verlag, Tbingen, 1999. 

16   Stephan Oepen , John Carroll, Parser engineering and performance profiling, Natural Language Engineering, v.6 n.1, p.81-97, March 2000 

17   Stephan Oepen , John Carroll, Ambiguity packing in constraint-based parsing: practical results, Proceedings of the first conference on North American chapter of the Association for Computational Linguistics, p.162-169, April 29-May 04, 2000, Seattle, Washington 

18   Fernando C. N. Pereira, A structure-sharing representation for unification-based grammar formalisms, Proceedings of the 23rd annual meeting on Association for Computational Linguistics, p.137-144, July 08-12, 1985, Chicago, Illinois 

19   C. Pollard and I. Sag. Head-driven Phrase Structure Grammar. Center for the Study of Language and Information, Stanford, 1994. 

20   S. M. Shieber, H. Uszkoreit, F. C. Pereira, J. Robinson, and M. Tyson. The formalism and implementation of PATR-II. In J. Bresnan, editor, Research on Interactive Acquisition and Use of Knowledge. SRI International, Menlo Park, Calif., 1983. 

21   M. Siegel. HPSG analysis of Japanese. In Verb-mobil: Foundations of Speech-to-Speech Translation. Springer Verlag, 2000. 

22   Hideto Tomabechi, Quasi-destructive graph unification with structure-sharing, Proceedings of the 14th conference on Computational linguistics, August 23-28, 1992, Nantes, France 

23   Hans Uszkoreit, Categorial unification grammars, Proceedings of the 11th coference on Computational linguistics, August 25-29, 1986, Bonn, Germany 

24   S. Wintner and N. Francez. Efficient implementation of unification-based grammars. Journal of Language and Computation, 1(1):53--92, 1999.
