Shusaku Tsumoto, Hiroshi Tanaka. Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory. In Jacques Calmet, John A. Campbell, editors, Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers. Volume 958 of Lecture Notes in Computer Science, pages 224-243, Springer, 1994.
Abstract is missing.