A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Information-based syntax and semantics: Vol. 1: fundamentals
Information-based syntax and semantics: Vol. 1: fundamentals
CLG: A Grammar Formalism Based on Constraint Reslution
EPIA 89 Proceedings of the 4th Portuguese Conference on Artificial Intelligence
From Unification to Constraints
Proceedings of the 6th Conference on Logic Programming '87
Views of the Syntax/Semantics Interface Proceedings of the Workshop ``GPSG and Semantics'''', organized by the project KIT-FAST, TU Berlin, Feb. 22-24, 1989
Expressing generalizations in unification-based grammar formalisms
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
A rich environment for experimentation with unification grammars
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A unification method for disjunctive feature descriptions
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
The formal and processing models of CLG
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Strategies for adding control information to declarative grammars
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
F-PATR: functional constraints for unification-based grammars
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
On the satisfiability of complex constraints
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Hi-index | 0.00 |
CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and lexical information and principles of language. Complex constrains can be expressed in a slightly restriced form of first order predicate logic, which makes CLG(2) well suited for expressing, amongst others, HPSG-style of grammars. A sound implementation of the formal semantics of CLG(2) is achieved by resorting to delayed evaluation of non equational constraints.