scientific article; zbMATH DE number 67967

MaRDI QIDQ4013976zbMATH OpenFDO

Authors Bernhard Nebel, Gert Smolka

Publication date 27 September 1992

zbMATH Keywords

feature-based unfication grammarslogic grammarsterminological logics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Artificial intelligence (68T99)

Recommendations

• Feature-constraint logics for unification grammars
• The Logic of Typed Feature Structures
• On subsumption and semiunification in feature algebras
• scientific article; zbMATH DE number 4092797
• Attributive concept descriptions with complements

Cited in

(11)

• Semantic networks
• The KL-ONE family
• Subsumption computed algebraically
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Terminological reasoning is inherently intractable
• scientific article; zbMATH DE number 3888944 (Why is no real title available?)
• An efficient decision algorithm for feature logic
• scientific article; zbMATH DE number 5065666 (Why is no real title available?)
• Implementing fuzzy OSF logic unification and normalization (short paper)
• Attributive concept descriptions with complements
• The complexity of existential quantification in concept languages.

This page was built for publication:

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