Theory of deductive systems and its applications
Theory of deductive systems and its applications
The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming”
Large heterogeneous knowledge bases
Machine intelligence 13
AMPHION: Automatic Programming for Scientific Subroutine Libraries
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
Hi-index | 0.00 |
A conceptual framework for specifying knowledge architectures is represented. Knowledge architecture is considered independently of its implementation; abstraction of knowledge system as an interpreted free deductive system is used for analysis of knowledge-based systems. Visual notation for knowledge modules and their connections is introduced and used in analysis of known knowledge based tools.