-
3
-
-
3142650729
-
On machine-oriented formalization of plausible reasoning in the style of F. Bacon-J.S. Mill
-
in Russian
-
Finn, V.K.: On machine-oriented formalization of plausible reasoning in the style of F. Bacon-J.S. Mill. Semiot. Inform. 20, 35-101 (in Russian) (1983)
-
(1983)
Semiot. Inform.
, vol.20
, pp. 35-101
-
-
Finn, V.K.1
-
4
-
-
0002759121
-
Plausible reasoning in systems of JSM-type
-
in Russian
-
Finn, V.K.: Plausible reasoning in systems of JSM-type. Itogi Nauki Teh., Ser. Inform. 15, 54-101 (in Russian) (1991)
-
(1991)
Itogi Nauki Teh., Ser. Inform.
, vol.15
, pp. 54-101
-
-
Finn, V.K.1
-
6
-
-
84958620040
-
Formalizing hypotheses with concepts
-
Mineau, G., Ganter, B. (eds.) Proc. 8th International Conference on Conceptual Structures, ICCS'00
-
Ganter, B., Kuznetsov, S.O.: Formalizing hypotheses with concepts. In: Mineau, G., Ganter, B. (eds.) Proc. 8th International Conference on Conceptual Structures, ICCS'00. Lecture Notes in Artificial Intelligence, vol. 1867, pp. 342-356 (2000)
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.1867
, pp. 342-356
-
-
Ganter, B.1
Kuznetsov, S.O.2
-
7
-
-
84974730984
-
Pattern structures and their projections
-
Stumme, G., Delugach, H. (eds.) Proc. 9th Int. Conf. on Conceptual Structures, ICCS'01
-
Ganter, B., Kuznetsov, S.O.: Pattern structures and their projections. In: Stumme, G., Delugach, H. (eds.) Proc. 9th Int. Conf. on Conceptual Structures, ICCS'01. Lecture Notes in Artificial Intelligence, vol. 2120, pp. 129-142 (2001)
-
(2001)
Lecture Notes in Artificial Intelligence
, vol.2120
, pp. 129-142
-
-
Ganter, B.1
Kuznetsov, S.O.2
-
8
-
-
34547711715
-
Stability as an estimate of the degree of substantiation of hypotheses derived on the basis of operational similarity
-
in Russian
-
Kuznetsov, S.O.: Stability as an estimate of the degree of substantiation of hypotheses derived on the basis of operational similarity. Nauchn. Tekh. Inf., Ser. 2, no. 12, pp. 21-29 (in Russian) (1990)
-
(1990)
Nauchn. Tekh. Inf., Ser. 2
, Issue.12
, pp. 21-29
-
-
Kuznetsov, S.O.1
-
9
-
-
34547710188
-
Mathematical aspects of concept analysis
-
2
-
Kuznetsov, S.O.: Mathematical aspects of concept analysis. J. Math. Sci. 80(2), 1654-1698 (1996)
-
(1996)
J. Math. Sci.
, vol.80
, pp. 1654-1698
-
-
Kuznetsov, S.O.1
-
10
-
-
84956865116
-
Learning of simple conceptual graphs from positive and negative examples
-
Zytkow, J., Rauch, J. (eds.) Proc. Principles of Data Mining and Knowledge Discovery, Third European Conference, PKDD'99
-
Kuznetsov, S.O.: Learning of simple conceptual graphs from positive and negative examples. In: Zytkow, J., Rauch, J. (eds.) Proc. Principles of Data Mining and Knowledge Discovery, Third European Conference, PKDD'99. Lecture Notes in Artificial Intelligence, vol. 1704, pp. 384-392 (1999)
-
(1999)
Lecture Notes in Artificial Intelligence
, vol.1704
, pp. 384-392
-
-
Kuznetsov, S.O.1
-
12
-
-
0033096890
-
Efficient minining of association rules using closed itemset lattices
-
Pasquier, N., Bastide, Y., Taouil, R., Lakhal, L.: Efficient minining of association rules using closed itemset lattices. J. Inf. Syst. 24, 25-46 (1999)
-
(1999)
J. Inf. Syst.
, vol.24
, pp. 25-46
-
-
Pasquier, N.1
Bastide, Y.2
Taouil, R.3
Lakhal, L.4
-
13
-
-
0000142982
-
The complexity of enumeration and reliability problems
-
3
-
Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM J. Comput. 8(3), 410-421 (1979)
-
(1979)
SIAM J. Comput.
, vol.8
, pp. 410-421
-
-
Valiant, L.G.1
-
14
-
-
0000398336
-
Restructuring lattice theory: An approach based on hierarchies of concepts
-
Reidel Dordrecht
-
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival I. (ed.) Ordered Sets, pp. 445-470. Reidel, Dordrecht (1982)
-
(1982)
Ordered Sets
, pp. 445-470
-
-
Wille, R.1
Rival, I.2
|