Deriving Natural Deduction Rules from Truth Tables.

Herman Geuvers Tonny Hurkens

Published in: ICLA (2017)

Keyphrases

deduction rules
database
concise representation
databases
data sets
genetic programming
data mining
machine learning