Petr Hájek, Martin Holena. Formal Logics of Discovery and Hypothesis Formation by Machine. In Setsuo Arikawa, Hiroshi Motoda, editors, Discovery Science, First International Conference, DS 98, Fukuoka, Japan, December 14-16, 1998, Proceedings. Volume 1532 of Lecture Notes in Computer Science, pages 291-302, Springer, 1998. [doi]
Abstract is missing.