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

DOI10.1007/BF01051766zbMATH Open0788.68131OpenAlexW4255010769MaRDI QIDQ1314281FDOQ1314281

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• The word problem
• Feature-constraint logics for unification grammars
• The word problem and the isomorphism problem for groups
• A modal perspective on the computational complexity of attribute value grammar

Cited In (8)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On expressibility of functions of many-valued logic in some logical-functional languages 👍 👎
• On completeness theorems for feature logics 👍 👎
• Expressibility of Higher Order Logics 👍 👎
• On the extension of logic programming with negation through uniform proofs 👍 👎

This page was built for publication: On the expressivity of feature logics with negation, functional uncertainty, and sort equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314281)