An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Expressing generalizations in unification-based grammar formalisms
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Parametrized abstract objects for linguistic information processing
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
Incorporating inheritance and feature structures into a Logic Grammar formalism
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A transfer model using a typed feature structure rewriting system with inheritance
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
The ,T framework in Eurotra: a theoretically committed notation for MT
COLING '86 Proceedings of the 11th coference on Computational linguistics
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
Inheritance and complementation: a case study of easy adjectives and related nouns
Computational Linguistics - Special issue on inheritance: II
Phonological analysis in typed feature systems
Computational Linguistics - Special issue on computational phonology
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A computational treatment of lexical rules in HPSG as covariation in lexical entries
Computational Linguistics
Default representation in constraint-based frameworks
Computational Linguistics
ProFIT: prolog with features, inheritance and templates
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Processing language with logical types and active constraints
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
A bidirectional model for natural language processing
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Interleaving universal principles and relational constraints over typed feature logic
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Translating a unification grammar with disjunctions into logical constraints
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Unification with lazy non-redundant copying
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
User-defined nonmonotonicity in unification-based formalisms
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Compiling HPSG type constraints into definite clause programs
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Using classification to generate text
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Organizing linguistic knowledge for multilingual generation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Achieving flexibility in unification formalisms
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
On the portability of complex constraint-based grammars
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Concurrent lexicalized dependency parsing: the ParseTalk model
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Towards developing reusable NLP dictionaries
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
A treatment of negative descriptions of typed feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Towards computer-aided linguistic engineering
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
A Reference Architecture for Generation Systems
Natural Language Engineering
A Reference Architecture for Natural Language Generation Systems
Natural Language Engineering
Using classification as a programming language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Incremental speech translation
Incremental speech translation
Hi-index | 0.00 |
We introduce TFS, a computer formalism in the class of logic formalisms which integrates a powerful type system. Its basic data structures are typed feature structures. The type system encourages an object-oriented approach to linguistic description by providing a multiple inheritance mechanism and an inference mechanism which allows the specification of relations between levels of linguistic description defined as classes of objects. We illustrate this approach starting from a very simple DCG, and show how to make use of the typing system to enforce general constraints and modularize linguistic descriptions, and how further abstraction leads to a HPSG-like grammar.