Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Feature structures: a logical theory with application to language analysis
Feature structures: a logical theory with application to language analysis
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
Extensions to unification grammar for the description of programming languages
Extensions to unification grammar for the description of programming languages
Features, frames and quantifier-free formulae
Logic and logic grammars for language processing
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Elements of the Theory of Computation
Elements of the Theory of Computation
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th 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
A three-valued interpretation of negation in feature structure descriptions
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Expressing disjunctive and negative feature constraints with classical first-order logic
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Conditional descriptions in Functional Unification Grammar
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Unification of disjunctive feature descriptions
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Categorial unification grammars
COLING '86 Proceedings of the 11th coference on Computational linguistics
Semantic abstraction and anaphora
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 1
Feature logic with disjunctive unification
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
A Resource Sensitive Interpretation of Lexical Functional Grammar
Journal of Logic, Language and Information
Computing with features as formulae
Computational Linguistics
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Syntactic and semantic transfer with f-structures
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Ambiguity preserving machine translation using packed representations
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
An attributive logic of set descriptions and set operations
ACL '94 Proceedings of the 32nd 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
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Journal of Logic, Language and Information
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Towards fuzzy ontology handling vagueness of natural languages
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Fuzzy query answering in motor racing domain
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
| Hi-index | 0.00 |
Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.