The Tuebingen HPSG Archive

[Aldag, 1997]

Bjørn Aldag (1997).
A proof theoretic investigation of prediction in HPSG.
Magisterarbeit, Eberhard-Karls-Universität Tübingen, Seminar für Sprachwissenschaft.

[Alt, 1997]

Natali I. Alt (1997).
A Typed Feature Logic with Set-valued Attributes as a Foundation for LP Rules.
Magisterarbeit, Universität Tübingen, Seminar für Sprachwissenschaft.

[Bouma et al., 1999]

Gosse Bouma and Erhard Hinrichs and Geert-Jan M. Kruijff and Richard Oehrle (eds.) (1999).
Constraints and Resources in Natural Language Syntax and Semantics.
CSLI Publications, Stanford.

[Gerdemann, 1995]

Dale Gerdemann (1995).
Term Encoding of Typed Feature Structures.
In: Fourth International Workshop on Parsing Technologies (IWPT'95). Prague and Karlovy Vary, Czech Republic, pp. 89--98. Published by Institute of Formal and Applied Linguistics, Charles University, Prague.

[Gerdemann and King, 1993]

Dale Gerdemann and Paul John King (1993).
Typed Feature Structures for Expressing and Computationally Implementing Feature Cooccurence Restrictions.
In: Proceedings of 4. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft. pp. 33--39.

[Gerdemann and King, 1994]

Dale Gerdemann and Paul John King (1994).
The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures.
In: Proceedings of the 15th Conference on Computational Linguistics (COLING-94). Kyoto, Japan, pp. 956--960.

[Götz, 1994]

Thilo Götz (1994).
A normal form for typed feature structures.
Magisterarbeit, Universität Tübingen, Seminar für Sprachwissenschaft.

[Götz, 1994]

Thilo Götz (1994).
Unique Normal Forms and Subsumption For Typed Feature Structures.
Arbeitspapiere des SFB 340 Nr. 40. Universität Tübingen.

[Götz, 1995]

Thilo Götz (1995).
Compiling HPSG constraint grammars into logic programs.
In: Proceedings of the joint ELSNET/COMPULOG- NET/EAGLES workshop on Computational logic for natural language processing. Edinburgh, Scotland.

[Götz, 2000]

Thilo Götz (2000).
Feature Constraint Grammars.
Phil. Dissertation, Eberhard-Karls-Universität Tübingen.

[Götz and Meurers, 1995]

Thilo Götz and Walt Detmar Meurers (1995).
Compiling HPSG type constraints into definite clause programs.
In: Proceedings of the Thirty-Third Annual Meeting of the ACL. Boston, pp. 85--91. Association for Computational Linguistics.

[Götz and Meurers, 1996]

Thilo Götz and Walt Detmar Meurers (1996).
``The importance of being lazy'' -- Using lazy evaluation to process queries to HPSG grammars --.
In: Philippe Blache (ed.), Actes de la Troisième conférence annuelle sur le Traitement Automatique du Language Naturel (TALN'96) et de la Troisième Conférence Internationale sur HPSG (HPSG'96). Marseille, France, pp. 24--33.

[Götz and Meurers, 1997]

Thilo Götz and Walt Detmar Meurers (1997).
Interleaving universal principles and relational constraints over typed feature logic.
In: Proceedings of the 35th Meeting of the ACL and 8th Conference of the EACL. Madrid, Spain, pp. 1--8.

[Götz and Meurers, 1999]

Thilo Götz and Walt Detmar Meurers (1999).
``The Importance of Being Lazy'' -- Using Lazy Evaluation to Process Queries to HPSG Grammars.
In: Gert Webelhuth and Jean-Pierre Koenig and Andreas Kathol (eds.), Lexical and Constructional Aspects of Linguistic Explanation. pp. 249--264. CSLI Publications, Stanford.

[Höhle, 2004]

Tilman N. Höhle (2004).
Modelltheoretische Grammatik.
Seminarskript 11.6.2004.

[Kallmeyer and Richter, 2006]

Laura Kallmeyer and Frank Richter (2006).
Constraint-based Computational Semantics: A Comparison between LTAG and LRS.
In: Proceedings of the 8th International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8). Sydney, Australia, pp. 109--114. Published by The Association for Computational Linguistics.

[Kepser, 1994]

Stephan Kepser (1994).
A Satisfiability Algorithm for a Logic for Typed Feature Structures.
Arbeitspapiere des SFB 340 Nr. 60. Universität Tübingen, Germany.

[Kepser, 2000]

Stephan Kepser (2000).
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar.
In: Dirk Heylen and Anton Nijholt and Giuseppe Scollo (eds.), Algebraic Methods in Language Processing AMiLP 2000. pp. 81--96.

[Kepser, 2001]

Stephan Kepser (2001).
On the Complexity of RSRL.
In: Geert-Jan Kruijff and Lawrence S. Moss and Richard T. Oehrle (eds.), Preproceedings of FGMOL 2001. This paper has been superseded by [Kepser 2004].

[Kepser, 2004]

Stephan Kepser (2004).
On the Complexity of RSRL.
In: Lawrence S. Moss and Richard T. Oehrle (eds.), Electronic Notes in Theoretical Computer Science. Volume 53. Published by Elsevier.

[Kepser and Mönnich, 2003]

Stephan Kepser and Uwe Mönnich (2003).
Graph Properties of HPSG Feature Structures.
In: Gerhard Jäger and Paola Monachesi and Gerald Penn and Shuly Wintner (eds.), Proceedings of Formal Grammar 2003. pp. 115--124.

[Kepser and Mönnich, 2003]

Stephan Kepser and Uwe Mönnich (2003).
(Un-)Decidability Results for Head-Driven Phrase Structure Grammar.
In: Giuseppe Scollo and Anton Nijholt (eds.), Proceedings of Algebraic Methods in Language Processing (AMiLP-3). pp. 141--152.

[King, 1992]

Paul John King (1992).
Unification Grammars and Descriptive Formalisms.
Unpublished lecture notes, Eberhard-Karls-Universität Tübingen.

[King, 1994]

Paul John King (1994).
Typed Feature Structures as Descriptions.
In: Proceedings of the 15th Conference on Computational Linguistics (COLING-94). Kyoto, Japan, pp. 1250--1254.

[King, 1994]

Paul John King (1994).
An Expanded Logical Formalism for Head-driven Phrase Structure Grammar.
Arbeitspapiere des SFB 340 Nr. 59. Universität Tübingen, Germany.

[King, 1996]

Paul John King (1996).
From Unification to Constraint: An Evolving Formalism for Head-driven Phrase Structure Grammar.
Lecture Notes for the European Summer School in Logic Language and Information, 12--16 August 1996.

[King, 1999]

Paul John King (1999).
Towards Truth in Head-Driven Phrase Structure Grammar.
In: Valia Kordoni (ed.), Tübingen Studies in Head-Driven Phrase Structure Grammar. Volume 132. Arbeitspapiere des SFB 340, pp. 301--352. Universität Tübingen.

[King and Götz, 1993]

Paul John King and Thilo Götz (1993).
Eliminating the feature introduction condition by modifying type inference.
Arbeitspapiere des SFB 340 Nr. 31. Universität Tübingen.

[King and Simov, 1997]

Paul John King and Kiril Ivanov Simov (1997).
The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged).
In: C. Retore (ed.), Logical Apects of Computational Linguistics. First International Conference LACL'96. Selected Papers. Lecture Notes in Artificial Intelligence No. 1328. Berlin, Germany, pp. 248--273. Published by Springer-Verlag.

[King and Simov, 1998]

Paul John King and Kiril Ivanov Simov (1998).
The Automatic Deduction of Classificatory Systems from Linguistic Theories.
In: Grammars, 1(2):103--153. Kluwer Academic Publishers.

[King et al., 1999]

Paul John King and Kiril Ivanov Simov and Bjørn Aldag (1999).
The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-driven Phrase Structure Grammar.
In: The Journal of Logic, Language and Information, 8(1):83--110.

[Meurers, 1994]

Walt Detmar Meurers (1994).
On Implementing an HPSG Theory -- Aspects of the Logical Architecture, the Formalization, and the Implementation of Head-Driven Phrase Structure Grammars.
In: Erhard W. Hinrichs and Walt Detmar Meurers and Tsuneko Nakazawa (eds.), Partial-VP and Split-NP Topicalization in German -- An HPSG Analysis and its Implementation. Arbeitspapiere des SFB 340 Nr. 58, pp. 47--155. Universität Tübingen, Tübingen, Germany.

[Meurers, 1995]

Walt Detmar Meurers (1995).
Towards a Semantics for Lexical Rules as used in HPSG.
In: Proceedings of the ACQUILEX II Workshop on the Formalisation and Use of Lexical Rules. Cambridge, UK, pp. 1--20. Also presented at the First Conference on Formal Grammar, Barcelona, 1995.

[Meurers et al., 2002]

W. Detmar Meurers and Gerald Penn and Frank Richter (2002).
A Web-based Instructional Platform for Constraint-Based Grammar Formalisms and Parsing.
In: Dragomir Radev and Chris Brew (eds.), Effective Tools and Methodologies for Teaching NLP and CL. New Brunswick, NJ, pp. 18--25. Published by The Association for Computational Linguistics. Proceedings of the Workshop held at the 40th Annual Meeting of the Association for Computational Linguistics. 7.--12. July 2002. Philadelphia, PA.

[Penn, 1998]

Gerald Penn (1998).
Parametric Types for Typed Attribute-Value Logic.
In: Proceedings of the 17th International Conference on Computational Linguistics and the 36th Annual Meeting of the Association for Computational Linguistics. Montreal, Kanada, pp. 1027--1033.

[Penn, 2000]

Gerald Penn (2000).
The Algebraic Structure of Attributed Type Signatures.
Ph.D. thesis, School of Computer Science, Carnegie Mellon University.

[Penn, 2000]

Gerald Penn (2000).
The Algebraic Structure of Transitive Closure and its Application to Attributed Type Signatures.
In: Grammars, 3(2-3):295--312.

[Penn and Richter, 2001]

Gerald Penn and Frank Richter (2001).
Finiteness and (R)SRL.
Arbeitspapiere des SFB 340 Nr. 139. Universität Tübingen, Germany. To appear.

[Penn and Richter, 2005]

Gerald Penn and Frank Richter (2005).
The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition.
In: Henning Christiansen and Peter Rossen Skadhauge and Jørgen Villadsen (eds.), Constraint Solving and Language Processing. First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers. Volume 3438 of Lecture Notes in Computer Science. pp. 48--73. Published by Springer.

[Penn and Steinicke, 1999]

Gerald Penn and Karen Steinicke (1999).
Compiling Feature-based Constraints with Complex Antecedents.
Arbeitspapiere des SFB 340 Nr. 136. Universität Tübingen, Germany.

[Richter, 1997]

Frank Richter (1997).
Die Satzstruktur des Deutschen und die Behandlung langer Abhängigkeiten in einer Linearisierungsgrammatik. Formale Grundlagen und Implementierung in einem HPSG-Fragment.
In: Erhard Hinrichs and Detmar Meurers and Frank Richter and Manfred Sailer and Heike Winhart (eds.), Ein HPSG-Fragment des Deutschen, Teil 1: Theorie. Volume 95. Arbeitspapiere des SFB 340, pp. 13--187. Universität Tübingen.

[Richter, 1999]

Frank Richter (1999).
RSRL for HPSG.
In: Valia Kordoni (ed.), Tübingen Studies in Head-Driven Phrase Structure Grammar. Volume 132. Arbeitspapiere des SFB 340, pp. 74--115.

[Richter, 2000]

Frank Richter (2000).
A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar.
Phil. Dissertation, Eberhard-Karls-Universität Tübingen. Version of April 28th, 2000. Superseded by Richter 2004.

[Richter, 2004]

Frank Richter (2004).
A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar.
Phil. Dissertation (2000), Eberhard-Karls-Universität Tübingen.

[Richter, 2004]

Frank Richter (2004).
Foundations of Lexical Resource Semantics.
Habilitationsschrift. Eberhard-Karls-Universität Tübingen.

[Richter, 2007]

Frank Richter (2007).
Closer to the Truth: A New Model Theory for HPSG.
In: James Rogers and Stephan Kepser (eds.), Model-Theoretic Syntax at 10. Proceedings of the ESSLLI'07 workshop MTS@10. pp. 99--108. Trinity College, Dublin.

[Richter and Kallmeyer, 2007]

Frank Richter and Laura Kallmeyer (2007).
Feature logic-based semantic composition: A comparison between LRS and LTAG.
In: Anders Søgaard and Petter Haugereid (eds.), Postproceedings of The 1st International Workshop on Typed Feature Structure Grammars. Volume 7 of CST Working Papers, København, Denmark. pp. 31--83.

[Richter et al., 2002]

Frank Richter and Ekaterina Ovchinnikova and Beata Trawiński and W. Detmar Meurers (2002).
Interactive Graphical Software for Teaching the Formal Foundations of Head-Driven Phrase Structure Grammar.
In: Gerhard Jäger and Paola Monachesi and Gerald Penn and Shuly Wintner (eds.), Proceedings of Formal Grammar 2002. pp. 137--148.

[Richter and King, 1997]

Frank Richter and Paul King (1997).
On the Existence of Exhaustive Models in a Relational Feature Logic for Head-driven Phrase Structure Grammar.
Unpublished manuscript.

[Richter et al., 1998]

Frank Richter and Manfred Sailer and Gerald Penn (1998).
A Formal Interpretation of Relations and Quantification in HPSG.
In: Gosse Bouma and Geert-Jan M. Kruijff and Richard T. Oehrle (eds.), Proceedings of the FHCG-98. Saarbrücken, Germany, pp. 268--278.

[Richter et al., 1999]

Frank Richter and Manfred Sailer and Gerald Penn (1999).
A Formal Interpretation of Relations and Quantification in HPSG.
In: Gosse Bouma and Erhard Hinrichs and Geert-Jan M. Kruijff and Richard Oehrle (eds.), Constraints and Resources in Natural Language Syntax and Semantics. pp. 281--298. CSLI Publications, Stanford.

[Richter et al., 1999]

Frank Richter and Manfred Sailer and Gerald Penn (1999).
A Formal Interpretation of Relations and Quantification in HPSG.
In: Valia Kordoni (ed.), Tübingen Studies in Head-Driven Phrase Structure Grammar. Volume 132. Arbeitspapiere des SFB 340, pp. 155--176. Universität Tübingen.

[Simov and King, 1996]

Kiril Iv. Simov and Paul John King (1996).
Indexing of Linguistic Knowledge.
In: Proceedings of Logical Aspects of Computational Linguistics. Nancy, France, pp. 81--84.

[Suhre, 2000]

Oliver Suhre (2000).
Computational Aspects of a Grammar Formalism for Languages with Freer Word Order.
Diplomarbeit, Eberhard-Karls-Universität Tübingen. Publiziert als Arbeitspapier des SFB 340, Nr. 154.