{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:38:32Z","timestamp":1760369912027,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576842.3582371","type":"proceedings-article","created":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T22:58:08Z","timestamp":1682549888000},"page":"105-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fairguard: Harness Logic-based Fairness Rules in Smart Cities"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4283-6358","authenticated-orcid":false,"given":"Yiqi","family":"Zhao","sequence":"first","affiliation":[{"name":"Vanderbilt University, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1083-0011","authenticated-orcid":false,"given":"Ziyan","family":"An","sequence":"additional","affiliation":[{"name":"Vanderbilt University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1209-4466","authenticated-orcid":false,"given":"Xuqing","family":"Gao","sequence":"additional","affiliation":[{"name":"Vanderbilt University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8355-0950","authenticated-orcid":false,"given":"Ayan","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"Vanderbilt University, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6916-8774","authenticated-orcid":false,"given":"Meiyi","family":"Ma","sequence":"additional","affiliation":[{"name":"Vanderbilt University, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Conference on Machine Learning. PMLR, 120\u2013129","author":"Agarwal Alekh","year":"2019","unstructured":"Alekh Agarwal, Miroslav Dud\u00edk, and Zhiwei\u00a0Steven Wu. 2019. Fair regression: Quantitative definitions and reduction-based algorithms. In International Conference on Machine Learning. PMLR, 120\u2013129."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1611675114"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(81)85003-X"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP55677.2022.00020"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3376898"},{"key":"e_1_3_2_1_6_1","first-page":"7321","article-title":"Fair regression with wasserstein barycenters","volume":"33","author":"Chzhen Evgenii","year":"2020","unstructured":"Evgenii Chzhen, Christophe Denis, Mohamed Hebiri, Luca Oneto, and Massimiliano Pontil. 2020. Fair regression with wasserstein barycenters. Advances in Neural Information Processing Systems 33 (2020), 7321\u20137331.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_7_1","volume-title":"The measure and mismeasure of fairness: A critical review of fair machine learning. arXiv preprint arXiv:1808.00023","author":"Corbett-Davies Sam","year":"2018","unstructured":"Sam Corbett-Davies and Sharad Goel. 2018. The measure and mismeasure of fairness: A critical review of fair machine learning. arXiv preprint arXiv:1808.00023 (2018)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3097983.3098095"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795558"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_2_1_11_1","volume-title":"Adversarial removal of demographic attributes from text data. arXiv preprint arXiv:1808.06640","author":"Elazar Yanai","year":"2018","unstructured":"Yanai Elazar and Yoav Goldberg. 2018. Adversarial removal of demographic attributes from text data. arXiv preprint arXiv:1808.06640 (2018)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.2020.3922"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033274.3085138"},{"key":"e_1_3_2_1_14_1","volume-title":"Distilling the knowledge in a neural network. arXiv preprint arXiv:1503.02531 2, 7","author":"Hinton Geoffrey","year":"2015","unstructured":"Geoffrey Hinton, Oriol Vinyals, Jeff Dean, 2015. Distilling the knowledge in a neural network. arXiv preprint arXiv:1503.02531 2, 7 (2015)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2019.00131"},{"key":"e_1_3_2_1_16_1","volume-title":"International Conference on Machine Learning. PMLR, 2439\u20132448","author":"Kallus Nathan","year":"2018","unstructured":"Nathan Kallus and Angela Zhou. 2018. Residual unfairness in fair machine learning from prejudiced data. In International Conference on Machine Learning. PMLR, 2439\u20132448."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287560.3287592"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scs.2020.102503"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.1988.10475524"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9216899"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2005.128"},{"key":"e_1_3_2_1_22_1","volume-title":"International Conference on Computing in Civil and Building Engineering. Springer, 3\u201315","author":"Luckey Daniel","year":"2020","unstructured":"Daniel Luckey, Henrieke Fritz, Dmitrii Legatiuk, Kosmas Dragos, and Kay Smarsly. 2020. Artificial intelligence techniques for smart city applications. In International Conference on Computing in Civil and Building Engineering. Springer, 3\u201315."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3069943"},{"key":"e_1_3_2_1_24_1","first-page":"14604","article-title":"STLnet: Signal temporal logic enforced multivariate recurrent neural networks","volume":"33","author":"Ma Meiyi","year":"2020","unstructured":"Meiyi Ma, Ji Gao, Lu Feng, and John Stankovic. 2020. STLnet: Signal temporal logic enforced multivariate recurrent neural networks. Advances in Neural Information Processing Systems 33 (2020), 14604\u201314614.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477032"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3082991"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_28_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152\u2013166."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457607"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2017.1600238CM"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450543"},{"key":"e_1_3_2_1_32_1","volume-title":"A hybrid method for nonlinear equations. Numerical methods for nonlinear algebraic equations","author":"Powell JD","year":"1970","unstructured":"Michael\u00a0JD Powell. 1970. A hybrid method for nonlinear equations. Numerical methods for nonlinear algebraic equations (1970)."},{"key":"e_1_3_2_1_33_1","first-page":"815","article-title":"Sample selection for fair and robust training","volume":"34","author":"Roh Yuji","year":"2021","unstructured":"Yuji Roh, Kangwook Lee, Steven Whang, and Changho Suh. 2021. Sample selection for fair and robust training. Advances in Neural Information Processing Systems 34 (2021), 815\u2013827.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/546"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i01.5458"},{"key":"e_1_3_2_1_36_1","unstructured":"Muhammad\u00a0Bilal Zafar Isabel Valera Manuel\u00a0Gomez Rogriguez and Krishna\u00a0P Gummadi. 2017. Fairness constraints: Mechanisms for fair classification. In Artificial intelligence and statistics. PMLR 962\u2013970."}],"event":{"name":"IoTDI '23: International Conference on Internet-of-Things Design and Implementation","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"IoTDI '23"},"container-title":["Proceedings of the 8th ACM\/IEEE Conference on Internet of Things Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576842.3582371","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576842.3582371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:58Z","timestamp":1750183738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576842.3582371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":36,"alternative-id":["10.1145\/3576842.3582371","10.1145\/3576842"],"URL":"https:\/\/doi.org\/10.1145\/3576842.3582371","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}