-induction and witness refinement with constraint generation.

Nils Timm Stefan Gruner Madoda Nxumalo Josua Botha

Published in: Sci. Comput. Program. (2020)

Keyphrases

program synthesis
inductive learning
rule induction
real time
computer vision
information systems
knowledge base
concept learning
generation method
concept formation
constructive induction