scientific article; zbMATH DE number 67967

zbMATH Open0747.68075MaRDI QIDQ4013976FDOQ4013976

Authors: Bernhard Nebel, Gert Smolka 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

terminological logicslogic grammarsfeature-based unfication grammars

Mathematics Subject Classification ID

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

Cited In (9)

• The complexity of existential quantification in concept languages.
• Terminological reasoning is inherently intractable
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• The KL-ONE family
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Semantic networks
• Subsumption computed algebraically
• Title not available (Why is that?)

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)