scientific article

zbMath0747.68075MaRDI QIDQ4013976

Gert Smolka, Bernhard Nebel

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

terminological logicslogic grammarsfeature-based unfication grammars

Mathematics Subject Classification ID

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

Related Items

Terminological reasoning is inherently intractable ⋮ Semantic networks ⋮ The KL-ONE family ⋮ Subsumption computed algebraically ⋮ The complexity of existential quantification in concept languages. ⋮ Attributive concept descriptions with complements ⋮ Ordering constraints over feature trees expressed in second-order monadic logic.