On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 2 (1) , 1-18
- https://doi.org/10.1007/bf01051766
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- Logics of ProgramsPublished by Elsevier ,1990
- Constituent coordination in Lexical-Functional GrammarPublished by Association for Computational Linguistics (ACL) ,1988
- An algorithm for functional uncertaintyPublished by Association for Computational Linguistics (ACL) ,1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- The word problem and the isomorphism problem for groupsBulletin of the American Mathematical Society, 1982
- The Word ProblemAnnals of Mathematics, 1959