-
1
-
-
38149022644
-
Automatic Theorem Generation in Plane Geometry
-
J. Komorowski, Z. Raś (Eds.), Springer-Verlag, Berlin
-
Bagai, R., Shanbhogue, V., Żytkow, J.M., and Chou, S.C.(1993). " Automatic Theorem Generation in Plane Geometry", in J. Komorowski, Z. Raś (Eds.), {Methodologies for Intelligent Systems}, Springer-Verlag, Berlin, pp. 215-224.
-
(1993)
Methodologies for Intelligent Systems
, pp. 215-224
-
-
Bagai, R.1
Shanbhogue, V.2
Zytkow, J.M.3
Chou, S.C.4
-
2
-
-
0042656300
-
Dynamic Reducts as a Tool for Extracting Laws from Decision Tables
-
Springer
-
Bazan, J., Skowron, A., Synak, P.(1994a). " Dynamic Reducts as a Tool for Extracting Laws from Decision Tables", {Lecture Notes in Artificial Intelligence} Vol. 869, Springer, pp. 346-355.
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.869
, pp. 346-355
-
-
Bazan, J.1
Skowron, A.2
Synak, P.3
-
3
-
-
0010520072
-
Discovery of Decision Rules from Experimental Data
-
T.Y. Lin (Ed.), November 10-12, 1994, San Jose, CA
-
Bazan, J., Skowron, A., Synak, P.(1994b). " Discovery of Decision Rules from Experimental Data", in T.Y. Lin (Ed.), {Proceedings of the Third International Workshop on Rough Sets and Soft Computing}, November 10-12, 1994, San Jose, CA, pp. 526-533.
-
(1994)
Proceedings of the Third International Workshop on Rough Sets and Soft Computing
, pp. 526-533
-
-
Bazan, J.1
Skowron, A.2
Synak, P.3
-
4
-
-
85034854874
-
Transformations and Decompositions of Nets
-
W. Brauer, W. Reisig, G. Rozenberg (Eds.), {Advances in Petri Nets 1986, Part I}, Springer-Verlag, Berlin
-
Berthelot, G.(1987). " Transformations and Decompositions of Nets", in W. Brauer, W. Reisig, G. Rozenberg (Eds.), {Advances in Petri Nets 1986, Part I}, Lecture Notes in Comput. Sci., Vol. 254, Springer-Verlag, Berlin.
-
(1987)
Lecture Notes in Comput. Sci.
, vol.254
-
-
Berthelot, G.1
-
5
-
-
0004246079
-
-
Kluwer Academic Publishers, Dordrecht
-
Brown E.M.(1990). {Boolean Reasoning}, Kluwer Academic Publishers, Dordrecht.
-
(1990)
Boolean Reasoning
-
-
Brown, E.M.1
-
6
-
-
0342830936
-
-
R. Reidel Publishing Company, Dordrecht, Netherlands
-
Chou, S.C.(1988). {Mechanical Theorem Proving}. R. Reidel Publishing Company, Dordrecht, Netherlands.
-
(1988)
Mechanical Theorem Proving
-
-
Chou, S.C.1
-
7
-
-
0022082052
-
On time and space decomposition of complex structures
-
Courtois, P.J.(1985). " On time and space decomposition of complex structures", Commun. ACM, Vol. 2-6, pp. 590-603.
-
(1985)
Commun. ACM
, vol.2-6
, pp. 590-603
-
-
Courtois, P.J.1
-
8
-
-
26444454183
-
-
Morgan Kaufmann Publishers, San Mateo, CA
-
Kodratoff, Y., Michalski, R.(Eds.)(1990). {Machine Learning} Vol. 3, Morgan Kaufmann Publishers, San Mateo, CA.
-
(1990)
Machine Learning
, vol.3
-
-
Kodratoff, Y.1
Michalski, R.2
-
10
-
-
0003418739
-
-
Tioga /Morgan Publishers, Los Altos, CA
-
Michalski, R., Carbonell, J.G., Mitchell, T.M.(Eds.)(1983). {Machine Learning: An Artificial Intelligence Approach} Vol. 1, Tioga /Morgan Publishers, Los Altos, CA.
-
(1983)
Machine Learning: An Artificial Intelligence Approach
, vol.1
-
-
Michalski, R.1
Carbonell, J.G.2
Mitchell, T.M.3
-
11
-
-
0000972865
-
-
Morgan Publishers, Los Altos, CA
-
Michalski, R., Carbonell, J.G., Mitchell, T.M.(Eds.)(1986). {Machine Learning: An Artificial Intelligence Approach} Vol. 2, Morgan Publishers, Los Altos, CA.
-
(1986)
Machine Learning: An Artificial Intelligence Approach
, vol.2
-
-
Michalski, R.1
Carbonell, J.G.2
Mitchell, T.M.3
-
12
-
-
0003019562
-
Mining for Knowledge in Databases: The INLEN Architecture, Initial Implementation and First Results
-
Michalski, R.S., Kerschberg, L., Kaufman, K.A., and Ribeiro, J.S. (1992). " Mining for Knowledge in Databases: The INLEN Architecture, Initial Implementation and First Results", {Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies} Vol 1-1, pp. 85-113.
-
(1992)
Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies
, vol.1
, Issue.1
, pp. 85-113
-
-
Michalski, R.S.1
Kerschberg, L.2
Kaufman, K.A.3
Ribeiro, J.S.4
-
13
-
-
0024645936
-
Petri Nets: Properties, Analysis and Applications
-
Murata, T.(1989). " Petri Nets: Properties, Analysis and Applications", in {Proceedings of the IEEE} Vol. 77-4, pp.541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
16
-
-
0026825230
-
An Automated Approach to Information Systems Decomposition
-
Paulson, D., and Wand, Y.(1992). " An Automated Approach to Information Systems Decomposition", {IEEE Transactions on Software Engineering} Vol. 18-3, pp. 174-189.
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.3
, pp. 174-189
-
-
Paulson, D.1
Wand, Y.2
-
18
-
-
0038474526
-
Concurrent versus sequential the rough sets perspective
-
Pawlak, Z.(1992). " Concurrent versus sequential the rough sets perspective", {Bulletin of the EATCS} Vol 48, pp. 178-190.
-
(1992)
Bulletin of the EATCS
, vol.48
, pp. 178-190
-
-
Pawlak, Z.1
-
19
-
-
0037653043
-
A rough set approach for decision rules generation
-
Warsaw University of Technology, Poland
-
Pawlak, Z, and Skowron, A.(1993). " A rough set approach for decision rules generation", {Institute of Computer Science Report 23/93}, Warsaw University of Technology, Poland.
-
(1993)
Institute of Computer Science Report 23/93
-
-
Pawlak, Z.1
Skowron, A.2
-
21
-
-
0004021178
-
-
The AAAI Press, Menlo Park, CA
-
Piatetsky-Shapiro, G., Frawley, W.(Eds.)(1991). {Knowledge discovery in databases}, The AAAI Press, Menlo Park, CA.
-
(1991)
Knowledge Discovery in Databases
-
-
Piatetsky-Shapiro, G.1
Frawley, W.2
-
23
-
-
0003738583
-
-
Morgan Kaufmann Publishers, San Mateo, CA
-
Shrager, J., Langley, P.(Eds.)(1990). {Computational Models of Scientific Discovery and Theory Formation}, Morgan Kaufmann Publishers, San Mateo, CA.
-
(1990)
Computational Models of Scientific Discovery and Theory Formation
-
-
Shrager, J.1
Langley, P.2
-
25
-
-
84990570130
-
Boolean reasoning for decision rules generation
-
Springer-Verlag
-
Skowron, A.(1993a). " Boolean reasoning for decision rules generation", in {Lecture Notes in Artificial Intelligence} Vol. 689, Springer-Verlag, pp. 295-305.
-
(1993)
Lecture Notes in Artificial Intelligence
, vol.689
, pp. 295-305
-
-
Skowron, A.1
-
26
-
-
0008917399
-
A synthesis of decision rules: Applications of discernibility matrix properties
-
Augustów, June 7-11, Poland
-
Skowron, A.(1993b). " A synthesis of decision rules: applications of discernibility matrix properties", in {Proceedings of the Conference Intelligent Information Systems}, Augustów, June 7-11, Poland.
-
(1993)
Proceedings of the Conference Intelligent Information Systems
-
-
Skowron, A.1
-
27
-
-
0002395767
-
The, discernibility matrices and functions in information systems
-
R. Słowiński(Ed.), Kluwer Academic Publishers, Dordrecht
-
Skowron, A., and Rauszer, C.(1992). " The, discernibility matrices and functions in information systems", in R. Słowiński(Ed.), {Intelligent decision support: Handbook of applications and advances of the rough sets theory}, Kluwer Academic Publishers, Dordrecht, pp. 331-362.
-
(1992)
Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory
, pp. 331-362
-
-
Skowron, A.1
Rauszer, C.2
-
28
-
-
0002346888
-
Decision Rules Based on Discernibility Matrices and Decision Matrices
-
T. Y. Lin (Ed.), November 10-12, 1994, San Jose, CA
-
Skowron, A., and Stepaniuk, J.(1994). " Decision Rules Based on Discernibility Matrices and Decision Matrices", in T. Y. Lin (Ed.), {Proceedings of The Third International Workshop on Rough Sets and Soft Computing}, November 10-12, 1994, San Jose, CA, pp. 156-163.
-
(1994)
Proceedings of the Third International Workshop on Rough Sets and Soft Computing
, pp. 156-163
-
-
Skowron, A.1
Stepaniuk, J.2
-
29
-
-
0344258215
-
A rough set approach to the real-time state identification
-
Skowron, A., and Suraj, Z.(1993a). " A rough set approach to the real-time state identification", {Bulletin of the EATCS} Vol. 50, pp. 264-275.
-
(1993)
Bulletin of the EATCS
, vol.50
, pp. 264-275
-
-
Skowron, A.1
Suraj, Z.2
-
30
-
-
0038474523
-
Rough sets and Concurrency
-
Skowron, A., and Suraj, Z.(1993b). " Rough sets and Concurrency", {Bulletin of the PAS} Vol. 41-3, pp. 237-254.
-
(1993)
Bulletin of the PAS
, vol.41
, Issue.3
, pp. 237-254
-
-
Skowron, A.1
Suraj, Z.2
-
31
-
-
0345120669
-
Synthesis of concurrent systems specified by information systems
-
Warsaw University of Technology
-
Skowron, A., and Suraj, Z.(1994). " Synthesis of concurrent systems specified by information systems", Institute of Computer Science Report 39/94, Warsaw University of Technology.
-
(1994)
Institute of Computer Science Report 39/94
-
-
Skowron, A.1
Suraj, Z.2
-
32
-
-
85172414826
-
Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach
-
Usama M. Fayyad, Ramasamy Uthurusamy (Eds.), August 19-21, Montreal, 1995, Canada, The AAAI Press, Menlo Park, CA
-
Skowron, A., and Suraj, Z.(1995). " Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach", in Usama M. Fayyad, Ramasamy Uthurusamy (Eds.), {Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95)}, August 19-21, Montreal, 1995, Canada, The AAAI Press, Menlo Park, CA.
-
(1995)
Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95)
-
-
Skowron, A.1
Suraj, Z.2
-
33
-
-
26444484183
-
A Parallel Algorithm for Real-Time Decision Making: A Rough Set Approach
-
Kluwer Academic Publishers, Dordrecht, forthcoming
-
Skowron, A., and Suraj, Z.(1995). " A Parallel Algorithm for Real-Time Decision Making: A Rough Set Approach", in {Journal of Intelligent Information Systems}, Kluwer Academic Publishers, Dordrecht, forthcoming.
-
(1995)
Journal of Intelligent Information Systems
-
-
Skowron, A.1
Suraj, Z.2
-
35
-
-
26444528822
-
Tools for Generating and Analyzing Concurrent Models Specified by Information Systems
-
T.Y. Lin (Ed.), November 10-12, 1994, San Jose, CA
-
Suraj, Z.(1994). " Tools for Generating and Analyzing Concurrent Models Specified by Information Systems", in T.Y. Lin (Ed.), {Proceedings of The Third International Workshop on Rough Sets and Soft Computing}, November 10-12, 1994, San Jose, CA, pp. 610-617.
-
(1994)
Proceedings of the Third International Workshop on Rough Sets and Soft Computing
, pp. 610-617
-
-
Suraj, Z.1
-
36
-
-
0038974784
-
PN-tools: Environment for the Design and Analysis of Petri Nets
-
Suraj, Z.(1995). " PN-tools: Environment for the Design and Analysis of Petri Nets", Control and Cybernetics, Systems Research Institute of Polish Academy of Sciences, Vol. 24, No 2, pp. 199-222.
-
(1995)
Control and Cybernetics, Systems Research Institute of Polish Academy of Sciences
, vol.24
, Issue.2
, pp. 199-222
-
-
Suraj, Z.1
-
37
-
-
0024714832
-
Design automation tools for efficient implementation of logic functions by decomposition
-
Varma, D., and Trachtenberg, E.A.(1989). " Design automation tools for efficient implementation of logic functions by decomposition", IEEE Trans. CAD, Vol. 8-8, pp. 901-916.
-
(1989)
IEEE Trans. CAD
, vol.8
, Issue.8
, pp. 901-916
-
-
Varma, D.1
Trachtenberg, E.A.2
-
40
-
-
0026961102
-
Discovery of Equations: Experimental Evaluation of Convergence
-
The AAAI Press, Menlo Park, CA
-
Zembowicz, R., and Żytkow, J.M.(1992). " Discovery of Equations: Experimental Evaluation of Convergence", in {the Proceedings of AAAI-92}, The AAAI Press, Menlo Park, CA, pp. 70-75.
-
(1992)
The Proceedings of AAAI-92
, pp. 70-75
-
-
Zembowicz, R.1
Zytkow, J.M.2
-
42
-
-
0343975285
-
An incremental learning algorithm for constructing decision rules
-
W.P. Ziarko(Ed.), Banff, October 11-15, 1993, Canada
-
Ziarko, W., and Shan, N.(1993). " An incremental learning algorithm for constructing decision rules", in W.P. Ziarko(Ed.), {Proceedings of the International Workshop on Rough Sets, Fuzzy Sets and Knowledge Discovery}, Banff, October 11-15, 1993, Canada, pp. 335-346.
-
(1993)
Proceedings of the International Workshop on Rough Sets, Fuzzy Sets and Knowledge Discovery
, pp. 335-346
-
-
Ziarko, W.1
Shan, N.2
-
43
-
-
0002856251
-
Interactive mining of regularities in databases
-
G. Piatetsky-Shapiro, Frawley, W. (Eds.), The AAAI Press, Menlo Park
-
Żytkow, J.(1991). " Interactive mining of regularities in databases", in G. Piatetsky-Shapiro, Frawley, W. (Eds.), {Knowledge discovery in databases}, The AAAI Press, Menlo Park.
-
(1991)
Knowledge Discovery in Databases
-
-
Zytkow, J.1
-
44
-
-
26444570230
-
-
Aberdeen, July 4, 1992, Scotland, UK, NIAR Report 92-12, National Institute for Aviation Research, The Wichita State University, Wichita, Kansas, USA
-
Żytkow, J.M.(Ed.)(1992). {Proceedings of the ML-92 Workshop on Machine Discovery (MD-92)}, Aberdeen, July 4, 1992, Scotland, UK, NIAR Report 92-12, National Institute for Aviation Research, The Wichita State University, Wichita, Kansas, USA.
-
(1992)
Proceedings of the ML-92 Workshop on Machine Discovery (MD-92)
-
-
Zytkow, J.M.1
-
45
-
-
0004670632
-
Introduction: Cognitive Autonomy in Machine Discovery
-
Kluwer Academic Publishers, Boston
-
Żytkow, J.(1993). " Introduction: Cognitive Autonomy in Machine Discovery", {Machine Learning} Vol 12, Kluwer Academic Publishers, Boston, pp. 7-16.
-
(1993)
Machine Learning
, vol.12
, pp. 7-16
-
-
Zytkow, J.1
-
46
-
-
0001873699
-
Database Exploration in Search of Regularities
-
Kluwer Academic Publishers, Boston
-
Żytkow, J., and Zembowicz, R.(1993). " Database Exploration in Search of Regularities", {Journal of Intelligent Information Systems} Vol 2, pp. 39-81, Kluwer Academic Publishers, Boston.
-
(1993)
Journal of Intelligent Information Systems
, vol.2
, pp. 39-81
-
-
Zytkow, J.1
Zembowicz, R.2
|