Standard

A language for visual knowledge representation in computer-aided knowledge engineering technology. / Voinov, A.V.; Gavrilova, T. A.; Dantsin, E. Ya.

In: Journal of Computer and Systems Sciences International, Vol. 35, No. 2, 01.12.1996, p. 309-314.

Research output: Contribution to journal › Article › peer-review

Harvard

Voinov, AV, Gavrilova, TA & Dantsin, EY 1996, 'A language for visual knowledge representation in computer-aided knowledge engineering technology', Journal of Computer and Systems Sciences International, vol. 35, no. 2, pp. 309-314.

APA

Voinov, A. V., Gavrilova, T. A., & Dantsin, E. Y. (1996). A language for visual knowledge representation in computer-aided knowledge engineering technology. Journal of Computer and Systems Sciences International, 35(2), 309-314.

Vancouver

Voinov AV, Gavrilova TA, Dantsin EY. A language for visual knowledge representation in computer-aided knowledge engineering technology. Journal of Computer and Systems Sciences International. 1996 Dec 1;35(2):309-314.

Author

Voinov, A.V. ; Gavrilova, T. A. ; Dantsin, E. Ya. / A language for visual knowledge representation in computer-aided knowledge engineering technology. In: Journal of Computer and Systems Sciences International. 1996 ; Vol. 35, No. 2. pp. 309-314.

BibTeX

@article{361be5cafd4e4d5bb67a7737de32fc10,
title = "A language for visual knowledge representation in computer-aided knowledge engineering technology",
abstract = "A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.",
keywords = "computer programming languages, synthesis algorithm, SCOPUS, SCOPUS",
author = "A.V. Voinov and Gavrilova, {T. A.} and Dantsin, {E. Ya}",
note = "Voinov, A. V. A language for visual knowledge representation in computer-aided knowledge engineering technology / A. V. Voinov, T. A. Gavrilova, E. Ya. Dantsin // Journal of Computer and Systems Sciences International. – 1996. – Volume 35, Issue 2. – P. 309-314.",
year = "1996",
month = dec,
day = "1",
language = "English",
volume = "35",
pages = "309--314",
journal = "Journal of Computer and Systems Sciences International",
issn = "1064-2307",
publisher = "МАИК {"}Наука/Интерпериодика{"}",
number = "2",

}

RIS

TY - JOUR

T1 - A language for visual knowledge representation in computer-aided knowledge engineering technology

AU - Voinov, A.V.

AU - Gavrilova, T. A.

AU - Dantsin, E. Ya

N1 - Voinov, A. V. A language for visual knowledge representation in computer-aided knowledge engineering technology / A. V. Voinov, T. A. Gavrilova, E. Ya. Dantsin // Journal of Computer and Systems Sciences International. – 1996. – Volume 35, Issue 2. – P. 309-314.

PY - 1996/12/1

Y1 - 1996/12/1

N2 - A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.

AB - A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.

KW - computer programming languages

KW - synthesis algorithm

KW - SCOPUS

KW - SCOPUS

UR - http://www.scopus.com/inward/record.url?scp=33747447039&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:33747447039

VL - 35

SP - 309

EP - 314

JO - Journal of Computer and Systems Sciences International

JF - Journal of Computer and Systems Sciences International

SN - 1064-2307

IS - 2

ER -

ID: 41105159