Formal Logics of Discovery and Hypothesis Formation by Machine.

Petr Hájek Martin Holena

Published in: Discovery Science (1998)

Keyphrases

hypothesis formation
concept formation
expressive power
data mining
modal logic
discovery process
scientific discovery
batch processing
database
knowledge discovery
model theoretic
epistemic logic
knowledge acquisition
formal specification
parallel machines
formal methods
special case