scientific article; zbMATH DE number 67967

MaRDI QIDQ4013976zbMATH OpenFDO

Authors Bernhard Nebel, Gert Smolka

Publication date 27 September 1992

zbMATH Keywords

terminological logicslogic grammarsfeature-based unfication grammars

Mathematics Subject Classification ID

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

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

(9)

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

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)