How to find axioms for finite domains: A computational exploration of mathematical discovery.

Gordon Krieger Dirk Schlimm

Published in: CogSci (2019)

Keyphrases

discovery process
knowledge base
real time
knowledge discovery
data sets
bayesian networks
expert systems
cross domain
computational power
finite automata
complete axiomatization