Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
Translating Spanish into logic through logic
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
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Language As a Cognitive Process: Syntax
Language As a Cognitive Process: Syntax
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
An integrated parsing scheme for unification categorial grammar with object-oriented lexicon
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
On abstract finite-state morphology
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
| Hi-index | 0.00 |
Hassan Ait-kaci introduced the ψ-term, an informational structure resembling feature-based functional structures but which also includes taxonomic inheritance (Ait-Kaci, 1984). We describe ψ-terms and how they have been incorporated into the Logic Grammar formalism. The result, which we call Inheritance Grammar, is a proper superset of DCG and includes many features of PATR-II. Its taxonomic reasoning facilitates semantic type-class reasoning during grammatical analysis.