Formal Logics of Discovery and Hypothesis Formation by Machine.

Petr Hjek, Martin Holena

Browse the full DIS paper archive.