Feature-constraint logics for unification grammars
- 31 January 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (1-2) , 51-87
- https://doi.org/10.1016/0743-1066(92)90039-6
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Inheritance hierarchies: Semantics and unificationJournal of Symbolic Computation, 1989
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- A logical semantics for feature structuresPublished by Association for Computational Linguistics (ACL) ,1986
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- The design of a computer language for linguistic informationPublished by Association for Computational Linguistics (ACL) ,1984
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980