Nikolaj Bjørner

Abduction for Learning Smart City Rules

2018 · EPiC series in computing

We propose using abduction for inferring implicit rules for Smart City ontologies. We show how we can use Z3 to extract candidate abducers from partial ontologies and leverage them in an iterative process of evolving …