Prototypes in a hybrid language with primitive descriptions

DOI10.1016/0898-1221(92)90123-YzbMath0794.68149OpenAlexW2001716761WikidataQ57302872 ScholiaQ57302872MaRDI QIDQ1202670

Oliviero Stock, Bernardo Magnini, Enrico Franconi

Publication date: 14 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90123-y

zbMATH Keywords

hybrid knowledge representation systeminstance recognition

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• New axioms for the contrast model of similarity
• Interpreting network formalisms
• An epistemic operator for description logics
• Reasoning and revision in hybrid representation systems
• Defeasible inheritance: A lattice based approach
• Terminological reasoning is inherently intractable

This page was built for publication: Prototypes in a hybrid language with primitive descriptions