scientific article

From MaRDI portal

Revision as of 22:24, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3493318

Jump to:navigation, search

zbMath0709.68096MaRDI QIDQ3493318

Manfred Schmidt-Schauss

Publication date: 1989

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

zbMATH Keywords

undecidable knowledge representation language frame-based language

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (14)

An empirical analysis of terminological representation systems ⋮ Limited reasoning in first-order knowledge bases ⋮ An alternative proof method for possibilistic logic and its application to terminological logics ⋮ Terminological reasoning is inherently intractable ⋮ The F-logic approach for description languages ⋮ SHACL: a description logic in disguise ⋮ Tableaux methods for access control in distributed systems ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ On subsumption and semiunification in feature algebras ⋮ Semantic networks ⋮ The KL-ONE family ⋮ The descriptive component of a hybrid knowledge representation language ⋮ Attributive concept descriptions with complements ⋮ Decidability of SHIQ with complex role inclusion axioms

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3493318&oldid=16840060"