Discovery and Deduction.

Masami Hagiya Koichi Takahashi

Published in: Discovery Science (2000)

Keyphrases

data mining
theorem proving
discovery process
inference rules
data sets
relational databases
computer algebra
decision making
web pages
metadata
multimedia
expert systems
knowledge discovery