Multilayer logic as a knowledge representation model in the CASE system

MaRDI QIDQ1903445zbMATH OpenFDO

Authors V. N. Vagin, N. P. Victorova, Ye. Yu. Golovina

Publication date 10 January 1996

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

CASEdeductive inferenceknowledge representation formalism

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Multi-layer logic - a predicate logic including data structure as knowledge representation language
• scientific article; zbMATH DE number 2150744
• A formalism for knowledge representation
• The E/S knowledge representation system
• scientific article; zbMATH DE number 1931716

Cited in

(1)

• Multi-layer logic - a predicate logic including data structure as knowledge representation language

This page was built for publication: Multilayer logic as a knowledge representation model in the CASE system

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