On the expressivity of feature logics with negation, functional uncertainty, and sort equations

DOI10.1007/BF01051766zbMath0788.68131OpenAlexW4255010769MaRDI QIDQ1314281

Franz Baader, Werner Nutt, Gert Smolka, Bernhard Nebel, Hans-Jürgen Bürckert

Publication date: 10 March 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01051766

zbMATH Keywords

undecidabilitycomputational linguisticsfunctional uncertaintyunification grammarsfeature logicssort equations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Natural language processing (68T50)

Related Items

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, A complete and recursive feature theory, Anti-patterns for rule-based languages, Regular path expressions in feature logic, Description Logics, On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions, \({\mathcal E}\)-connections of abstract description systems, Decidability of SHIQ with complex role inclusion axioms

Cites Work

• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• A modal perspective on the computational complexity of attribute value grammar
• The word problem and the isomorphism problem for groups
• Feature-constraint logics for unification grammars
• The word problem