Abduction for Learning Smart City Rules.

Nikolaj Bjørner Maria-Cristina V. Marinescu Mooly Sagiv

Published in: GCAI (2017)

Keyphrases

learning algorithm
background knowledge
learning process
learning rules
decision trees
association rules
knowledge acquisition
mobile learning