%0 Conference Paper %1 conf/gcai/BjornerMS17 %A Bjørner, Nikolaj S. %A Marinescu, Maria-Cristina V. %A Sagiv, Mooly %B GCAI %D 2017 %E Benzmüller, Christoph %E Lisetti, Christine L. %E Theobald, Martin %I EasyChair %K dblp %P 233-238 %T Abduction for Learning Smart City Rules. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2017.html#BjornerMS17 %V 50

@inproceedings{conf/gcai/BjornerMS17, added-at = {2022-04-14T00:00:00.000+0200}, author = {Bjørner, Nikolaj S. and Marinescu, Maria-Cristina V. and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2d67a170631306ddca2b10d636d14507c/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2017}, editor = {Benzmüller, Christoph and Lisetti, Christine L. and Theobald, Martin}, ee = {https://doi.org/10.29007/8jfk}, interhash = {d0f553d78902d023c229989de6d36fbe}, intrahash = {d67a170631306ddca2b10d636d14507c}, keywords = {dblp}, pages = {233-238}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {Abduction for Learning Smart City Rules.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2017.html#BjornerMS17}, volume = 50, year = 2017 }