An epistemic programming approach for automated theorem finding.

Hongbiao Gao Jingde Cheng

Published in: ICCI*CC (2015)

Keyphrases

data sets
programming language
computer aided
programming environments
genetic algorithm
search engine
information systems
image sequences
general purpose
semi automatic
computer assisted
fully automated
semi automated