-
1
-
-
0004190631
-
-
Providence, RI: American Mathematical Society
-
Birkhoff G.D. Lattice Theory. 1979;American Mathematical Society, Providence, RI.
-
(1979)
Lattice Theory
-
-
Birkhoff, G.D.1
-
2
-
-
0038157332
-
Toxicology analysis by means of the JSM-method
-
Blinova V.G., Dobrynin D.A., Finn V.K., Kuznetsov S.O., Pankratova E.S. Toxicology analysis by means of the JSM-method. Bioinformatics. 19:2003;1201-1207.
-
(2003)
Bioinformatics
, vol.19
, pp. 1201-1207
-
-
Blinova, V.G.1
Dobrynin, D.A.2
Finn, V.K.3
Kuznetsov, S.O.4
Pankratova, E.S.5
-
3
-
-
0002871914
-
Calcul pratique du treillis de Galois d'une correspondence
-
Bordat J.P. Calcul pratique du treillis de Galois d'une correspondence. Math. Sci. Hum. 96:1986;31-47.
-
(1986)
Math. Sci. Hum.
, vol.96
, pp. 31-47
-
-
Bordat, J.P.1
-
4
-
-
3142650729
-
On machine-oriented formalization of plausible reasoning in the style of F. Backon-J.S. Mill
-
in Russian
-
Finn V.K. On machine-oriented formalization of plausible reasoning in the style of F. Backon-J.S. Mill. Semiotika Inform. 20:1983;35-101. (in Russian).
-
(1983)
Semiotika Inform.
, vol.20
, pp. 35-101
-
-
Finn, V.K.1
-
5
-
-
0002759121
-
Plausible reasoning in systems of JSM-type
-
in Russian
-
Finn V.K. Plausible reasoning in systems of JSM-type. Itogi Nauki Tekh., Inform. 15:1991;54-101. (in Russian).
-
(1991)
Itogi Nauki Tekh., Inform.
, vol.15
, pp. 54-101
-
-
Finn, V.K.1
-
8
-
-
84958620040
-
Formalizing Hypotheses with Concepts
-
G. Mineau, & B. Ganter. (Eds.), Lecture Notes in Artificial Intelligence, Berlin: Springer
-
Ganter B., Kuznetsov S.O. Formalizing Hypotheses with Concepts. Mineau G., Ganter B. Proceedings of the Eigth International Conference on Conceptual Structures, ICCS'2000. Lecture Notes in Artificial Intelligence. Vol. 1867:2000;342-356 Springer, Berlin.
-
(2000)
Proceedings of the Eigth International Conference on Conceptual Structures, ICCS'2000
, vol.1867
, pp. 342-356
-
-
Ganter, B.1
Kuznetsov, S.O.2
-
10
-
-
0002819235
-
Familles minimales d'implications informatives résultant d'un tableau de données binaires
-
Guigues J.-L., Duquenne V. Familles minimales d'implications informatives résultant d'un tableau de données binaires. Math. Sci. Hum. 24(95):1986;5-18.
-
(1986)
Math. Sci. Hum.
, vol.24
, Issue.95
, pp. 5-18
-
-
Guigues, J.-L.1
Duquenne, V.2
-
12
-
-
0001009871
-
2.5-algorithm for maximum matching in bipartite graphs
-
Karp R., Hopcroft G.A. 2.5-algorithm for maximum matching in bipartite graphs. SIAM J. Comput. 2(2):1973;225-231.
-
(1973)
SIAM J. Comput.
, vol.2
, Issue.2
, pp. 225-231
-
-
Karp, R.1
Hopcroft, G.A.2
-
13
-
-
3142606295
-
-
Private communication, Moscow
-
A.V. Karzanov, Private communication, Moscow, 1991.
-
(1991)
-
-
Karzanov, A.V.1
-
14
-
-
84956865116
-
Learning of simple conceptual graphs from positive and negative examples
-
J. Zytkow, & J. Rauch (Eds.), Lecture Notes in Artificial Intelligence, Berlin: Springer
-
Kuznetsov S.O. Learning of simple conceptual graphs from positive and negative examples. Zytkow J., Rauch J. Proceedings Third European Conference on Principles of Data Mining and Knowledge Discovery, PKDD'99. Lecture Notes in Artificial Intelligence. Vol. 1704:1999;384-392 Springer, Berlin.
-
(1999)
Proceedings Third European Conference on Principles of Data Mining and Knowledge Discovery, PKDD'99
, vol.1704
, pp. 384-392
-
-
Kuznetsov, S.O.1
-
15
-
-
0012112013
-
On computing the size of a lattice and related decision problems
-
Kuznetsov S.O. On computing the size of a lattice and related decision problems. Order. 18(4):2001;313-321.
-
(2001)
Order
, vol.18
, Issue.4
, pp. 313-321
-
-
Kuznetsov, S.O.1
-
16
-
-
0036555973
-
Comparing performance of algorithms for generating concept lattices
-
Kuznetsov S.O., Obiedkov S.A. Comparing performance of algorithms for generating concept lattices. J. Exp. Theoret. Artificial Intelligence. 14(2-3):2002;189-216.
-
(2002)
J. Exp. Theoret. Artificial Intelligence
, vol.14
, Issue.2-3
, pp. 189-216
-
-
Kuznetsov, S.O.1
Obiedkov, S.A.2
-
17
-
-
9444283784
-
Machine learning and formal concept analysis
-
P. Eklund (Ed.), Lecture Notes in Artificial Intelligence
-
S.O. Kuznetsov, Machine learning and formal concept analysis, in: P. Eklund (Ed.), Proceedings Second International Conference on Formal Concept Analysis, Lecture Notes in Artificial Intelligence, 2961 (2004) 287-312.
-
(2004)
Proceedings Second International Conference on Formal Concept Analysis
, vol.2961
, pp. 287-312
-
-
Kuznetsov, S.O.1
-
19
-
-
0001369117
-
An algorithm for computing the maximal rectangles in a binary relation
-
Norris E.M. An algorithm for computing the maximal rectangles in a binary relation. Rev. Roumaine Math. Pures Appl. 23(2):1978;243-250.
-
(1978)
Rev. Roumaine Math. Pures Appl.
, vol.23
, Issue.2
, pp. 243-250
-
-
Norris, E.M.1
-
20
-
-
0033328495
-
A fast algorithm for building lattices
-
Nourine L., Raynaud O. A fast algorithm for building lattices. Inform Process. Lett. 71:1999;199-204.
-
(1999)
Inform Process. Lett.
, vol.71
, pp. 199-204
-
-
Nourine, L.1
Raynaud, O.2
-
21
-
-
0034366497
-
Bicliques in graphs I: Bounds on their number
-
Prisner E. Bicliques in graphs I. bounds on their number Combinatorica. 20(1):2000;109-117.
-
(2000)
Combinatorica
, vol.20
, Issue.1
, pp. 109-117
-
-
Prisner, E.1
-
23
-
-
0000142982
-
The complexity of enumeration and reliability problems
-
Valiant L.G. The complexity of enumeration and reliability problems. SIAM J. Comput. 8(3):1979;410-421.
-
(1979)
SIAM J. Comput.
, vol.8
, Issue.3
, pp. 410-421
-
-
Valiant, L.G.1
-
25
-
-
0000398336
-
Restructuring lattice theory: An approach based on hierarchies of concepts
-
I. Rival. Boston: Reidel, Dordrecht
-
Wille R. Restructuring lattice theory: an approach based on hierarchies of concepts. Rival I. Ordered Sets. 1982;445-470 Reidel, Dordrecht, Boston.
-
(1982)
Ordered Sets
, pp. 445-470
-
-
Wille, R.1
-
26
-
-
0013188149
-
Node-deletion problems of bipartite graphs
-
Yannakakis M. Node-deletion problems of bipartite graphs. SIAM J. Comput. 10(2):1981;310-327.
-
(1981)
SIAM J. Comput.
, vol.10
, Issue.2
, pp. 310-327
-
-
Yannakakis, M.1
|