Gerald Penn
Publications

See also Professor Penn's Google Scholar page.

Contents	2011 \| 2010 2009 \| 2008 \| 2007 \| 2006 \| 2005 \| 2004 \| 2003 \| 2002 \| 2001 \| 2000 1999 \| 1998 \| 1997 \| 1996 \| 1995 \| 1994 \| 1993 \| 1992 \| 1991 \| 1990 1989

2003

Review of A. Copestake, Implementing Typed Feature Structure Grammars: Gerald Penn.
Computational Linguistics 29(3), 2003, pp. 507-509.
Efficient Transitive Closure of Sparse Matrices over Closed Semirings: Gerald Penn.
Proceedings of the Third Workshop on Algebraic Methods in Language Processing (AMiLP-3), Verona, Italy, August 2003.
This paper has been superseded by the version published in Theoretical Computer Science 354(1), 2006, pp. 72-81.
In Search of Epistemic Primitives in the English Resource Grammar: Gerald Penn and Kenneth Hoetmer.
Proceedings of the 10th International Conference on Head-Driven Phrase Structure Grammar (HPSG-2003), East Lansing, Michigan, July 2003. (PDF)
A Tabulation-Based Parsing Method that Reduces Copying: Gerald Penn and Cosmin Munteanu.
This is a corrected version of the paper that appeared in the Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL-03), Sapporo, Japan, July 2003. (PDF)
Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing: Michail Flouris, Lap Chi Lau, Tsuyoshi Morioka, Periklis A. Papakonstantinou, and Gerald Penn.
Proceedings of the Eighth Meeting on the Mathematics of Language (MOL 8), Bloomington, Indiana, June 2003. (PDF)
AVM Description Compilation using Types as Modes: Gerald Penn.
Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL-03), Budapest, Hungary, April 2003. (PDF)
Topological Parsing: Gerald Penn and Mohammad Haji-Abdolhosseini.
Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL-03), Budapest, Hungary, April 2003. (PDF)

2002

Generalized Encoding of Description Spaces and its Application to Typed Feature Structures: Gerald Penn.
Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL 2002), Philadelphia, Pennsylvania, July 2002. (PDF)
A Web-based Instructional Platform for Constraint-based Grammar Formalisms and Parsing: Detmar Meurers, Gerald Penn, and Frank Richter.
Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL 2002), Workshop on Effective Tools and Methodologies for Teaching NLP and CL, Philadelphia, Pennsylvania, July 2002. (PDF)
Towards Linguistically Plausible Language Modeling in Real-World Applications: Gerald Penn.
Proceedings of the 29th Forum of the Linguistics Association of Canada and the United States (LACUS XXIX), Toledo, Ohio, July 2002.

2001

A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus: Gerald Penn.
Proceedings of Formal Grammar '01 / 7th Meeting on Mathematics of Language (FGMOL 01), Helsinki, Finland, August 2001.
This paper has been superseded by the version published in Electronic Notes in Theoretical Computer Science 53, 2004, pp. 274-295.
Tractability and Structural Closures in Attribute Logic Signatures: Gerald Penn.
Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics (ACL 2001), Toulouse, France, July 2001, pp. 410-417. (PDF)
Flexible Web Document Analysis for Delivery to Narrow-Bandwidth Devices: Gerald Penn, Jianying Hu, Hengbin Luo, and Ryan McDonald.
Proceedings of the Sixth International Conference on Document Analysis and Recognition (ICDAR 01), Seattle, Washington, 2001, pp. 1074-1078.
Review of R. Sproat, A Computational Theory of Writing Systems: Gerald Penn.
Written Language and Literacy 4(2), 2001, pp. 218-223.
Request this paper.

2000

Review of H.-P. Kolb and U. Moennich eds., The Mathematics of Syntactic Structure: Trees and their Logics: Gerald Penn.
Computational Linguistics 26(2), 2000, pp. 274-276.
The Algebraic Structure of Attributed Type Signatures: Gerald Penn.
Doctoral Dissertation, School of Computer Science, Carnegie Mellon University, May 2000. (2up,PDF)
The Algebraic Structure of Transitive Closure and its Application to Attributed Type Signatures: Gerald Penn.
Grammars 3(2-3), 2000, pp. 295-312.
Request this paper.
Applying Constraint Handling Rules to HPSG: Gerald Penn.
Proceedings of the First International Conference on Computational Logic (CL2000), Workshop on Rule-Based Constraint Reasoning and Programming, Imperial College, UK, August 2000.
Applying Constraint Handling Rules to HPSG: Gerald Penn.
In Some Aspects of Natural Language Processing and Constraint Programming, F. Morawietz ed. Arbeitspapier des Sonderforschungsbereichs 340, Nr. 150, 2000, pp. 51-68.
This paper has been superseded by the version published in Proceedings of the First International Conference on Computational Logic (CL2000), Workshop on Rule-Based Constraint Reasoning and Programming, Imperial College, UK, August 2000.

1999

A Generalized-Domain-Based Approach to Serbo-Croatian Second Position Clitic Placement: Gerald Penn.
In Constraints and Resources in Natural Language Syntax and Semantics, G. Bouma, et al. eds., CSLI, 1999, pp. 119-136.
Request this paper.
Linearization and WH-Extraction in HPSG: Evidence from Serbo-Croatian: Gerald Penn.
In Slavic in HPSG, R. Borsley and A. Przepiorkowski eds., CSLI, 1999, pp. 149-182.
Request this paper.
An Optimized Prolog Encoding of Typed Feature Structures: Gerald Penn.
Proceedings of the 16th International Conference on Logic Programming (ICLP-99), Las Cruces, New Mexico, 1999, pp. 124-138.
Request this paper.
An Optimised Prolog Encoding of Typed Feature Structures: Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 138, 1999.
Request this paper.
Optimising Don't-Care Non-Determinism with Statistical Information: Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 140, 1999.
A Parsing Algorithm to Reduce Copying in Prolog: Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 137, 1999.
A Quasi-Ring Construction for Compiling Attributed Type Signatures: Gerald Penn
Proceedings of the 6th Meeting on the Mathematics of Language (MOL-6), Orlando, Florida, 1999, pp. 105-114.
Request this paper.
A Quasi-Ring Construction for Compiling Attributed Type Signatures: Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 141, 1999.
Request this paper.
An RSRL Formalization of Serbo-Croatian Clitic Placement: Gerald Penn.
In Tuebingen Studies in Head-Driven Phrase Structure Grammar, V. Kordoni ed. Arbeitspapier des Sonderforschungsbereichs 340, Nr. 132, 1999, pp. 177-197.
Tractability and Structural Closures in Attribute Logic Type Signatures: Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 135, 1999.
This paper has been superseded by Tractability and Structural Closures in Attribute Logic Signatures, Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics (ACL 2001), Toulouse, France, July 2001, pp. 410-417.
ALE for Speech: a Translation Prototype: Gerald Penn and Bob Carpenter.
Proceedings of the 6th European Conference on Speech Communication and Technology (EUROSPEECH-99), Budapest, Hungary, 1999, pp. 947-950.
Compiling Feature-based Constraints with Complex Antecedents: Gerald Penn and Karen Steinicke.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 136, 1999.
A Formal Interpretation of Relations and Quantification in HPSG: Frank Richter, Manfred Sailer, and Gerald Penn.
In Constraints and Resources in Natural Language Syntax and Semantics, G. Bouma, et al. eds., CSLI, 1999, pp. 281-298.
Request this paper.
A Formal Interpretation of Relations and Quantification in HPSG: Frank Richter, Manfred Sailer, and Gerald Penn.
In Tuebingen Studies in Head-Driven Phrase Structure Grammar, V. Kordoni ed. Arbeitspapier des Sonderforschungsbereichs 340, Nr. 132, 1999, pp. 155-176.

1998

On the Connection between Context-Free Grammars and Lambek Categorial Grammars: Gerald Penn.
Computer Science Technical Report CMU-CS-98-180, Carnegie Mellon University, 1998.
Parametric Types for Typed Attribute-Value Logic: Gerald Penn.
Proceedings of the 17th International Conference on Computational Linguistics and the 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL-98), v. 2, Montreal, Canada, 1998, pp. 1027-1033.
This paper has been superseded by Chapter 5 of my dissertation.
A Formal Interpretation of Relations and Quantification in HPSG: Frank Richter, Manfred Sailer, and Gerald Penn.
Proceedings of the Joint Conference on Formal Grammar, Head-Driven Phrase Structure Grammar, and Categorial Grammar (FHCG-98), Saarbruecken, Germany, 1998, pp. 268-278.
This paper has been superseded by the version published in Constraints and Resources in Natural Language Syntax and Semantics, G. Bouma, et al. eds., CSLI, 1999, pp. 281-298.

1997

A Proposed Linear Specification Language: Thilo Goetz and Gerald Penn.
Arbeitspapier des Sonderforschungsbereichs 340, Nr. 134, 1997.
Linearization and WH-Extraction in HPSG: Evidence from a Dialect of Serbo-Croatian.: Gerald Penn.
4th International Conference on Head-Driven Phrase Structure Grammar (HPSG-1997), Cornell University, Ithaca, New York, 1997.
This paper has been superseded by the version published in Slavic in HPSG, R. Borsley and A. Przepiorkowski eds., CSLI, 1999, pp. 149-182.
Linearization and WH-Extraction in HPSG: Evidence from a Dialect of Serbo-Croatian.: Gerald Penn.
30th Poznan Linguistic Meeting, Slavic Languages in HPSG workshop, Poznan, Poland, 1997.
This paper has been superseded by the version published in Slavic in HPSG, R. Borsley and A. Przepiorkowski eds., CSLI, 1999, pp. 149-182.
On the Plausibility of Purely Structural WH-Movement: Gerald Penn.
Current Approaches to Formal Slavic Linguistics: Contributions of the Second European Conference on Formal Description of Slavic Languages, held at Potsdam University, November 20-22, 1997, P. Kosta and J. Frasek eds., Linguistik International, vol. 9, Peter Lang, 2002, pp. 307-316.
Request this paper.
Parametric Types for Typed Attribute-Value Logic: Gerald Penn.
Proceedings of the 5th Meeting on the Mathematics of Language (MOL-5), Schloss Dagstuhl IBFI, Germany, 1997, pp. 131-137.
This paper has been superseded by Chapter 5 of my dissertation.
Head-Driven Generation and Indexing in ALE: Gerald Penn and Octav Popescu.
Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics, Workshop on Computational Environments for Grammar Development and Linguistic Engineering (ENVGRAM), Madrid, Spain, 1997, pp. 62-69.

1996

Efficient Parsing of Compiled Typed Attribute Value Logic Grammars: Bob Carpenter and Gerald Penn.
Recent Advances in Parsing Technology, H. Bunt and M. Tomita, eds., Kluwer, 1996, pp. 145-168.
Request this paper.
On the Connection between Context-Free Grammars and Lambek Categorial Grammars: Gerald Penn.
Laboratory for Computational Linguistics Technical Report CMU-LCL-96-2, Carnegie Mellon University, 1996.
This report has been reissued as On the Connection between Context-Free Grammars and Lambek Categorial Grammars, Computer Science Technical Report CMU-CS-98-180, Carnegie Mellon University, 1998.

1994

Default Finite State Machines and Finite State Phonology: Gerald Penn and Richmond Thomason.
Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics, 1st Workshop of the Special Interest Group on Phonology (SIGPHON), Las Cruces, New Mexico. 1994, pp. 33-42.

1993

Three Sources of Disjunction in a Typed Feature Structure-based Resolution System: Gerald Penn and Bob Carpenter.
Feature Formalisms and Linguistic Ambiguity, H. Trost, ed., Ellis Horwood, 1993, pp. 21-32.
Request this paper.

1992

A Note on Interrogative Extraction in Serbo-Croatian: Gerald Penn.
Laboratory for Computational Linguistics Technical Report CMU-LCL-92-2, Carnegie Mellon University.
Three Sources of Disjunction in a Typed Feature Structure-based Resolution System: Gerald Penn and Bob Carpenter
Proceedings of the 8th European Conference on Artificial Intelligence, Workshop on Disjunctive Reasoning}, Vienna, Austria, 1992, pp. 75-82.
This paper has been superseded by the version published in Feature Formalisms and Linguistic Ambiguity, H. Trost, ed., Ellis Horwood, 1993, pp. 21-32.

1990

Categorial Grammars Determined from Linguistic Data by Unification: Wojciech Buszkowski and Gerald Penn.
Studia Logica 49 (December), 1990, pp. 431-454.
Request this paper.

1989

Categorial Grammars Determined from Linguistic Data by Unification: Wojciech Buszkowski and Gerald Penn.
2nd Workshop on Advances in Categorial Grammar, LSA Linguistics Institute, Tucson, Arizona, 1989.
This paper has been superseded by the version published in Studia Logica 49 (December), 1990, pp. 431-454.

gpenn@cs.toronto.edu
Gerald Penn

Gerald Penn Publications

Gerald Penn
Publications