In this tutorial-overview, which resulted from a lecture course given by the authors at the European Summer School in Logic, Language and Information 1997 in Aix-en-Provence ( ), we show how knowledge representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on definite logic programs. Although this class is very rest...

purpose: the aim of this study is to analyze the theoretical foundations, the concept, documentation history, steps and the procedure of documentation of knowledge on the basis of life cycle of organizational knowledge and the introduction of automatic and semi-automatic operational strategies of the extraction of tacit knowledge and coding or the representation of explicit knowledge. methodolo...