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
The logic of typed feature structures
The logic of typed feature structures
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract)
Proceedings of the Third International Conference on Algebraic and Logic Programming
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Unifying disjunctive feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Robust interaction through partial interpretation and dialogue management
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
User-defined nonmonotonicity in unification-based formalisms
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
| Hi-index | 0.01 |
We argue that flexibility is an important property for unification-based formalisms. By flexibility we mean the ability for the user to modify and extend the formalism according to the needs of his problem. The paper discusses some properties necessary to achieve a flexible formalism and presents the FLUF formalism as a realization of these ideas.