Publications on Unification, Type Hierarchies, and Computational Linguistics

Papers and Reports on Unification, Type Hierarchies, and Computational Linguistics

Hegner, Stephen J., Horn extended feature structures: fast unification with negation and limited disjunction, Proceedings of the Fifth Conference of the European Chapter of the Association for Computational Linguistics, Berlin, 9--11 April 1991 , Association for Computational Linguistics, 1991, pp. 33-38. [This is a preliminary version of the ideas elaborated in the next report.] PDF

Hegner, Stephen J., Horn clauses and feature-structure logic: principles and unification algorithms, Technical Report No. 1, Language, Logic, and Information Series, Department of Linguistics, University of Oslo, June 1993. PDF

Hegner, Stephen J., Properties of Horn clauses in feature-structure logic, Constraints, Language, and Computation , edited by M. Rosner, C. J. Rupp, and R. Johnson, Academic Press, 1994, pp.111-147. [This is an abbreviated version of Technical Report No. 1 of the Department of Linguistics, University of Oslo, listed above.]

Hegner, Stephen J., Distributivity in incompletely specified type hierarchies: principles and unification algorithms, in Computational Aspects of Constraint-Based Linguistic Description II, DYANA-2, Dynamic Interpretation of Natural Language, ESPRIT Basic Research Project 6852, Deliverable R1.2.B, September 1994, pp. 29-120. Also available as Technical Report No. 4, Language, Logic, and Information Series, Department of Linguistics, University of Oslo, September 1994. PDF

Hegner, Stephen J., A family of decidable feature logics which support HPSG-style set and list constructions, Logical Aspects of Computational Linguistics, First International Conference, LACL'96, Nancy, France, September 1996, Selected Papers, C. Retoré, editor, Springer-Verlag Lecture Notes in Artificial Intelligence, Vol. 1328, 1997, pp. 208-227. PDF
[© Springer-Verlag holds the legal copyright to this work. The original publication is available at www.springerlink.com via the following URL .]

Hegner, Stephen J., Computational and structural aspects of openly specified type hierarchies, Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16 1998, Selected Papers, Michael Moortgat, editor. Springer-Verlag Lecture Notes in Artificial Intelligence, Vol. 2014, 2001, pp. 48--69. PDF
[© Springer-Verlag holds the legal copyright to this work. The original publication is available at www.springerlink.com via the following URL .]

Hegner, Stephen J., User manual for suqseq-marker, Umeå University, Sweden, July 1999, 31 pp. PDF

Hegner, Stephen J., Characterization of type hierarchies with open specification, Semantics in Databases: Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, L. Bertossi, G. O. Katuna, K.-D. Schewe, and B. Thalheim, editors, Springer-Verlag Lecture Notes in Computer Science, Vol. 2582, 2003, pp. 100-118. PDF
[© Springer-Verlag holds the legal copyright to this work. The original publication is available at www.springerlink.com via the following URL .]

Hegner, Stephen J., Generalized Horn constraints and tractable inference on type hierarchies with open specification, unpublished. PS.gz PDF