On the expressivity of feature logics with negation, functional uncertainty, and sort equations
From MaRDI portal
Publication:1314281
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
undecidabilitycomputational linguisticsfunctional uncertaintyunification grammarsfeature logicssort equations
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