An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
Information-based syntax and semantics: Vol. 1: fundamentals
Information-based syntax and semantics: Vol. 1: fundamentals
Machine intelligence 11
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
Logic programming: systematic program development
Logic programming: systematic program development
Critical issues in nonmonotonic reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Machine Translation: A Knowledge-Based Approach
Machine Translation: A Knowledge-Based Approach
A Fixed-Point Semantics for Feature Type Systems
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Translation by structural correspondences
EACL '89 Proceedings of the fourth 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
Functional Unification Grammar: a formalism for machine translation
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Unification with lazy non-redundant copying
ACL '91 Proceedings of the 29th 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
A symmetrical approach to parsing and generation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Organizing linguistic knowledge for multilingual generation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Bilingual generation of weather forecasts in an operations environment
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Generation as structure driven derivation
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Reversible unification based machine translation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
Phonological analysis in typed feature systems
Computational Linguistics - Special issue on computational phonology
An integrated parsing scheme for unification categorial grammar with object-oriented lexicon
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Computing with features as formulae
Computational Linguistics
Mood and modality: out of theory and into the fray
Natural Language Engineering
F-PATR: functional constraints for unification-based grammars
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
An attributive logic of set descriptions and set operations
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
TDL: a type description language for constraint-based grammars
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Rapid development of translation tools: application to Persian and Turkish
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Feature structures, unification and finite-state transducers
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Incremental speech translation
Incremental speech translation
A modular toolkit for machine translation based on layered charts
Proceedings of the COLING-2000 Workshop on Using Toolsets and Architectures To Build NLP Systems
Hi-index | 0.00 |
We describe an approach to unification grammars that integrates two paradigms: the object-oriented approach, which offers multiple inheritance, complex objects with role-value restrictions and role-values equality, querying as subsumption; the relational programming approach, which offers declarativity, logical variables, nondeterminism with backtracking, and existential queries. This approach is embodied in a constraint-based object-oriented formalism. The interpreter of the formalism is described as a term rewriting system based on unification of typed feature structures.The grammar writer organizes unification grammars as inheritance networks of typed feature structures. Complex linguistic structures are described by means of recursive type constraints. We illustrate the use of inheritance networks with two examples: an HPSG example where implication (as used for "principles") is modeled using inheritance and an example of bilingual transfer where the minimal amount of information needed for the translation is specified at different levels of generalization.