Constraints, language and computation

Overview. Structures, Language and Translations: The Structural Approach to Feature Logic. Some Remarks on the Logic of Unification Grammars. A Feature Value Logic with Intensionality, Nonwell Foundedness and Functional and Relational Dependencies. Properties of Horn Clauses in Feature-Structure Logic. The Formal and Computational Theory of Complex Constraint Solution. Describing Sets with Sets: Remarks on the Use and Interpretation of Set-Valued Feature Structures. Feature Logic with Weak Subsumption Constraints. Feature-Value Logics. Some Limits on the Role of Defaults. Constraint Propogation and Semamtic Representation. Meanings as Constraints on Information States. Derivation Without Lexical Rules. Head Corner Parsing. Shake-And-Bake Translation. Bibliography. Index.