A formalism for knowledge representation

zbMATH Open0875.68802MaRDI QIDQ1817091FDOQ1817091

Authors: I. A. Sheremet 

Publication date: 13 May 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• Symbolic-production systems as a tool for formal description of information processing. II
• scientific article; zbMATH DE number 4113930
• scientific article; zbMATH DE number 54102
• scientific article; zbMATH DE number 4201701

zbMATH Keywords

knowledge processingautomated information processing systemslogic of distributed multilevel intelligent processingsymbol-production

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (19)

• Title not available (Why is that?)
• Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations
• Title not available (Why is that?)
• Expressive power of knowledge representation systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Multilayer logic as a knowledge representation model in the CASE system
• Title not available (Why is that?)
• \(F\)-\(K\) system of knowledge representation
• Title not available (Why is that?)
• The normal forms of knowledge
• Symbolic-production systems as a tool for formal description of information processing. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge representation as domain
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
• Title not available (Why is that?)

This page was built for publication: A formalism for knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817091)