{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T07:58:32Z","timestamp":1770019112863,"version":"3.49.0"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031906527","type":"print"},{"value":"9783031906534","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":120,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The issue of fairness is a well-known challenge in Machine Learning (ML) that has gained increased importance with the emergence of Large Language Models (LLMs) and generative AI. Algorithmic bias can manifest during the training of ML models due to the presence of sensitive attributes, such as gender or racial identity. One approach to mitigate bias is to avoid making decisions based on these protected attributes. However, indirect discrimination can still occur if sensitive information is inferred from proxy attributes. To prevent this, there is a growing interest in detecting potential proxy attributes before training ML models. In this case study, we report on the use of Inductive Logic Programming\u00a0(ILP) to discover proxy attributes in training datasets, with a focus on the ML classification problem. While ILP has established applications in program synthesis and data curation, we demonstrate that it can also advance the state of the art in proxy attribute discovery by removing the need for prior domain knowledge. Our evaluation shows that this approach is effective at detecting potential sources of indirect discrimination, having successfully identified proxy attributes in several well-known datasets used in fairness-awareness studies.<\/jats:p>","DOI":"10.1007\/978-3-031-90653-4_17","type":"book-chapter","created":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T07:35:40Z","timestamp":1746171340000},"page":"343-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-5588-2724","authenticated-orcid":false,"given":"Rafael","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1852-2782","authenticated-orcid":false,"given":"Filipe","family":"Gouveia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4868-415X","authenticated-orcid":false,"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5077-300X","authenticated-orcid":false,"given":"Jos\u00e9 Fragoso","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,1]]},"reference":[{"key":"17_CR1","unstructured":"Adebayo, J.A.: FairML: ToolBox for diagnosing bias in predictive modeling. Master\u2019s thesis, Massachusetts Institute of Technology (2016)"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"A\u00efvodji, U., Ferry, J., Gambs, S., Huguet, M.J., Siala, M.: Faircorels, an open-source library for learning fair rule lists. In: Proceedings of the 30th ACM International Conference on Information & Knowledge Management. p. 4665-4669. CIKM \u201921, Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3459637.3481965","DOI":"10.1145\/3459637.3481965"},{"key":"17_CR3","unstructured":"Angwin, J., Larson, J., Kirchner, L., Mattu, S.: Machine bias (May 2016), https:\/\/www.propublica.org\/article\/machine-bias-risk-assessments-in-criminal-sentencing"},{"key":"17_CR4","doi-asserted-by":"publisher","unstructured":"Berk, R., Heidari, H., Jabbari, S., Kearns, M., Roth, A.: Fairness in criminal justice risk assessments: The state of the art. Sociological Methods & Research 50(1), 3\u201344 (2021). https:\/\/doi.org\/10.1177\/0049124118782533","DOI":"10.1177\/0049124118782533"},{"key":"17_CR5","doi-asserted-by":"publisher","unstructured":"Bird, S., Kenthapadi, K., Kiciman, E., Mitchell, M.: Fairness-aware machine learning: Practical challenges and lessons learned. In: Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. p. 834-835. WSDM \u201919, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3289600.3291383","DOI":"10.1145\/3289600.3291383"},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Breiman, L.: Random forests. Machine Learning 45(1), 5\u201332 (Oct 2001). https:\/\/doi.org\/10.1023\/A:1010933404324","DOI":"10.1023\/A:1010933404324"},{"key":"17_CR7","unstructured":"Calmon, F.P., Wei, D., Vinzamuri, B., Ramamurthy, K.N., Varshney, K.R.: Optimized pre-processing for discrimination prevention. In: Proceedings of the 31st International Conference on Neural Information Processing Systems. p. 3995-4004. NIPS\u201917, Curran Associates Inc., Red Hook, NY, USA (2017)"},{"key":"17_CR8","doi-asserted-by":"publisher","unstructured":"Census-Income (KDD). UCI Machine Learning Repository (2000). https:\/\/doi.org\/10.24432\/C5N30T","DOI":"10.24432\/C5N30T"},{"key":"17_CR9","doi-asserted-by":"publisher","unstructured":"Chouldechova, A.: Fair prediction with disparate impact: A study of bias in recidivism prediction instruments. Big Data 5(2), 153\u2013163 (2017). https:\/\/doi.org\/10.1089\/big.2016.0047","DOI":"10.1089\/big.2016.0047"},{"key":"17_CR10","doi-asserted-by":"publisher","unstructured":"Chouldechova, A., Roth, A.: A snapshot of the frontiers of fairness in machine learning. Commun. ACM 63(5), 82-89 (Apr 2020). https:\/\/doi.org\/10.1145\/3376898","DOI":"10.1145\/3376898"},{"key":"17_CR11","doi-asserted-by":"publisher","unstructured":"Corbett-Davies, S., Pierson, E., Feller, A., Goel, S., Huq, A.: Algorithmic decision making and the cost of fairness. In: Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 797-806. KDD \u201917, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3097983.3098095","DOI":"10.1145\/3097983.3098095"},{"key":"17_CR12","unstructured":"Cortez, P., Silva, A.: Using data mining to predict secondary school student performance. In: Proceedings of 5th Annual Future Business Technology Conference (Apr 2008)"},{"key":"17_CR13","doi-asserted-by":"publisher","unstructured":"Cropper, A., Duman\u010di\u0107, S.: Inductive logic programming at 30: A new introduction. Journal of Artificial Intelligence Research 74, 765-850 (Jun 2022). https:\/\/doi.org\/10.1613\/jair.1.13507","DOI":"10.1613\/jair.1.13507"},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Cropper, A., Morel, R.: Learning programs by learning from failures. Machine Learning 110(4), 801\u2013856 (Apr 2021). https:\/\/doi.org\/10.1007\/s10994-020-05934-z","DOI":"10.1007\/s10994-020-05934-z"},{"key":"17_CR15","doi-asserted-by":"publisher","unstructured":"Datta, A., Tschantz, M.C., Datta, A.: Automated experiments on ad privacy settings: A tale of opacity, choice, and discrimination. Proceedings on Privacy Enhancing Technologies 2015(1), 92-112 (Apr 2015). https:\/\/doi.org\/10.1515\/popets-2015-0007","DOI":"10.1515\/popets-2015-0007"},{"key":"17_CR16","doi-asserted-by":"publisher","unstructured":"Datta, A., Fredrikson, M., Ko, G., Mardziel, P., Sen, S.: Proxy non-discrimination in data-driven systems (Jul 2017). https:\/\/doi.org\/10.48550\/arXiv.1707.08120","DOI":"10.48550\/arXiv.1707.08120"},{"key":"17_CR17","doi-asserted-by":"publisher","unstructured":"Datta, A., Fredrikson, M., Ko, G., Mardziel, P., Sen, S.: Use privacy in data-driven systems: Theory and experiments with machine learnt programs. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. p. 1193-1210. CCS \u201917, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3133956.3134097","DOI":"10.1145\/3133956.3134097"},{"key":"17_CR18","doi-asserted-by":"publisher","unstructured":"Dwork, C., Hardt, M., Pitassi, T., Reingold, O., Zemel, R.: Fairness through awareness. In: Proceedings of the 3rd Innovations in Theoretical Computer Science Conference. p. 214-226. ITCS \u201912, Association for Computing Machinery, New York, NY, USA (2012). https:\/\/doi.org\/10.1145\/2090236.2090255","DOI":"10.1145\/2090236.2090255"},{"key":"17_CR19","doi-asserted-by":"publisher","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data (Nov 2017). https:\/\/doi.org\/10.48550\/arXiv.1711.04574","DOI":"10.48550\/arXiv.1711.04574"},{"key":"17_CR20","doi-asserted-by":"publisher","unstructured":"Friedler, S.A., Scheidegger, C., Venkatasubramanian, S., Choudhary, S., Hamilton, E.P., Roth, D.: A comparative study of fairness-enhancing interventions in machine learning. In: Proceedings of the Conference on Fairness, Accountability, and Transparency. p. 329-338. FAT* \u201919, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3287560.3287589","DOI":"10.1145\/3287560.3287589"},{"key":"17_CR21","doi-asserted-by":"publisher","unstructured":"Galhotra, S., Brun, Y., Meliou, A.: Fairness testing: testing software for discrimination. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. p. 498-510. ESEC\/FSE 2017, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3106237.3106277","DOI":"10.1145\/3106237.3106277"},{"key":"17_CR22","doi-asserted-by":"publisher","unstructured":"Gon\u00e7alves, R., Gouveia, F., Lynce, I., Fragoso\u00a0Santos, J.: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming (Artifact) (2025). https:\/\/doi.org\/10.5281\/zenodo.14618504","DOI":"10.5281\/zenodo.14618504"},{"key":"17_CR23","doi-asserted-by":"publisher","unstructured":"Gon\u00e7alves, R., Gouveia, F., Lynce, I., Fragoso\u00a0Santos, J.: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming (Extended Version) (2025). https:\/\/doi.org\/10.5281\/zenodo.14757542","DOI":"10.5281\/zenodo.14757542"},{"key":"17_CR24","doi-asserted-by":"publisher","unstructured":"Hajian, S., Domingo-Ferrer, J.: Direct and Indirect Discrimination Prevention Methods, pp. 241\u2013254. Springer Berlin Heidelberg, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-30487-3_13","DOI":"10.1007\/978-3-642-30487-3_13"},{"key":"17_CR25","doi-asserted-by":"publisher","unstructured":"Hajian, S., Domingo-Ferrer, J.: A methodology for direct and indirect discrimination prevention in data mining. IEEE Transactions on Knowledge and Data Engineering 25(7), 1445\u20131459 (2013). https:\/\/doi.org\/10.1109\/TKDE.2012.72","DOI":"10.1109\/TKDE.2012.72"},{"key":"17_CR26","unstructured":"Hardt, M., Price, E., Price, E., Srebro, N.: Equality of opportunity in supervised learning. In: Lee, D., Sugiyama, M., Luxburg, U., Guyon, I., Garnett, R. (eds.) Advances in Neural Information Processing Systems. vol.\u00a029, pp. 3315\u20133323. Curran Associates, Inc. (2016)"},{"key":"17_CR27","doi-asserted-by":"publisher","unstructured":"Hofmann, H.: Statlog (German Credit Data). UCI Machine Learning Repository (1994). https:\/\/doi.org\/10.24432\/C5NC77","DOI":"10.24432\/C5NC77"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Holmes, D.E., Jain, L.C. (eds.): Innovations in Bayesian networks, Studies in Computational Intelligence, vol.\u00a0156. Springer, Berlin, Germany (Sep 2008)","DOI":"10.1007\/978-3-540-85066-3"},{"key":"17_CR29","doi-asserted-by":"publisher","unstructured":"Holstein, K., Wortman\u00a0Vaughan, J., Daum\u00e9, H., Dudik, M., Wallach, H.: Improving fairness in machine learning systems: What do industry practitioners need? In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. p. 1-16. CHI \u201919, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3290605.3300830","DOI":"10.1145\/3290605.3300830"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Ignatiev, A., Cooper, M.C., Siala, M., Hebrard, E., Marques-Silva, J.: Towards formal fairness in machine learning. In: Simonis, H. (ed.) Principles and Practice of Constraint Programming. pp. 846\u2013867. Springer International Publishing, Cham (2020)","DOI":"10.1007\/978-3-030-58475-7_49"},{"key":"17_CR31","unstructured":"Kilbertus, N., Rojas-Carulla, M., Parascandolo, G., Hardt, M., Janzing, D., Sch\u00f6lkopf, B.: Avoiding discrimination through causal reasoning. In: Proceedings of the 31st International Conference on Neural Information Processing Systems. p. 656-666. NIPS\u201917, Curran Associates Inc., Red Hook, NY, USA (2017)"},{"key":"17_CR32","doi-asserted-by":"publisher","unstructured":"Kleinberg, J.: Inherent trade-offs in algorithmic fairness. In: Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems. p.\u00a040. SIGMETRICS \u201918, Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3219617.3219634","DOI":"10.1145\/3219617.3219634"},{"key":"17_CR33","unstructured":"Kohavi, R.: Scaling up the accuracy of naive-bayes classifiers: a decision-tree hybrid. In: Proceedings of the Second International Conference on Knowledge Discovery and Data Mining. p. 202-207. KDD\u201996, AAAI Press (1996)"},{"key":"17_CR34","doi-asserted-by":"publisher","unstructured":"Krzywinski, M., Altman, N.: Classification and regression trees. Nature Methods 14(8), 757\u2013758 (Aug 2017). https:\/\/doi.org\/10.1038\/nmeth.4370","DOI":"10.1038\/nmeth.4370"},{"key":"17_CR35","unstructured":"Kusner, M., Loftus, J., Russell, C., Silva, R.: Counterfactual fairness. In: Proceedings of the 31st International Conference on Neural Information Processing Systems. p. 4069-4079. NIPS\u201917, Curran Associates Inc., Red Hook, NY, USA (2017)"},{"key":"17_CR36","doi-asserted-by":"publisher","unstructured":"Kuzilek, J., Hlosta, M., Zdrahal, Z.: Open university learning analytics dataset. Scientific Data 4(1), 170171 (Nov 2017). https:\/\/doi.org\/10.1038\/sdata.2017.171","DOI":"10.1038\/sdata.2017.171"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Logics in Artificial Intelligence. pp. 11\u2013325. Springer International Publishing, Cham (2014)","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Broda, K.: The ILASP system for learning answer set programs (2015), www.ilasp.com","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"17_CR39","doi-asserted-by":"publisher","unstructured":"Le\u00a0Quy, T., Roy, A., Iosifidis, V., Zhang, W., Ntoutsi, E.: A survey on datasets for fairness-aware machine learning. WIREs Data Mining and Knowledge Discovery 12(3), e1452 (Mar 2022). https:\/\/doi.org\/10.1002\/widm.1452","DOI":"10.1002\/widm.1452"},{"key":"17_CR40","doi-asserted-by":"publisher","unstructured":"Madras, D., Creager, E., Pitassi, T., Zemel, R.: Fairness through causal awareness: Learning causal latent-variable models for biased data. In: Proceedings of the Conference on Fairness, Accountability, and Transparency. p. 349-358. FAT* \u201919, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3287560.3287564","DOI":"10.1145\/3287560.3287564"},{"key":"17_CR41","doi-asserted-by":"publisher","unstructured":"Martins, R., Chen, J., Chen, Y., Feng, Y., Dillig, I.: Trinity: an extensible synthesis framework for data science. Proc. VLDB Endow. 12(12), 1914-1917 (Aug 2019). https:\/\/doi.org\/10.14778\/3352063.3352098","DOI":"10.14778\/3352063.3352098"},{"key":"17_CR42","doi-asserted-by":"publisher","unstructured":"Moro, S., Cortez, P., Rita, P.: A data-driven approach to predict the success of bank telemarketing. Decision Support Systems 62, 22\u201331 (2014). https:\/\/doi.org\/10.1016\/j.dss.2014.03.001","DOI":"10.1016\/j.dss.2014.03.001"},{"key":"17_CR43","doi-asserted-by":"publisher","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited. Machine Learning 100(1), 49\u201373 (Jul 2015). https:\/\/doi.org\/10.1007\/s10994-014-5471-y","DOI":"10.1007\/s10994-014-5471-y"},{"key":"17_CR44","doi-asserted-by":"publisher","unstructured":"Mukerjee, A., Biswas, R., Deb, K., Mathur, A.P.: Multi-objective evolutionary algorithms for the risk-return trade-off in bank loan management. International Transactions in Operational Research 9(5), 583\u2013597 (2002). https:\/\/doi.org\/10.1111\/1475-3995.00375","DOI":"10.1111\/1475-3995.00375"},{"key":"17_CR45","doi-asserted-by":"publisher","unstructured":"Nabi, R., Shpitser, I.: Fair inference on outcomes. Proceedings of the AAAI Conference on Artificial Intelligence 32(1) (Apr 2018). https:\/\/doi.org\/10.1609\/aaai.v32i1.11553","DOI":"10.1609\/aaai.v32i1.11553"},{"key":"17_CR46","doi-asserted-by":"publisher","unstructured":"Orvalho, P., Terra-Neves, M., Ventura, M., Martins, R., Manquinho, V.: Squares : A sql synthesizer using query reverse engineering. Proc. VLDB Endow. 13(12), 2853\u20132856 (2020). https:\/\/doi.org\/10.14778\/3352063.3352098","DOI":"10.14778\/3352063.3352098"},{"key":"17_CR47","doi-asserted-by":"crossref","unstructured":"Perry, W.L., McInnis, B., Price, C.C., Smith, S.C., Hollywood, J.S.: Predictive Policing: The Role of Crime Forecasting in Law Enforcement Operations. RAND Corporation (2013)","DOI":"10.7249\/RR233"},{"key":"17_CR48","unstructured":"Srinivasan, A.: The Aleph manual (2001), https:\/\/www.cs.ox.ac.uk\/activities\/programinduction\/Aleph\/aleph.html"},{"key":"17_CR49","unstructured":"Supreme Court of the United States: Ricci v. DeStafano. 557 U.S. 557 (2009)"},{"key":"17_CR50","doi-asserted-by":"publisher","unstructured":"Tram\u00e8r, F., Atlidakis, V., Geambasu, R., Hsu, D., Hubaux, J.P., Humbert, M., Juels, A., Lin, H.: Fairtest: Discovering unwarranted associations in data-driven applications. In: 2017 IEEE European Symposium on Security and Privacy (EuroS &P). pp. 401\u2013416 (2017). https:\/\/doi.org\/10.1109\/EuroSP.2017.29","DOI":"10.1109\/EuroSP.2017.29"},{"key":"17_CR51","doi-asserted-by":"publisher","unstructured":"Verma, S., Rubin, J.: Fairness definitions explained. In: Proceedings of the International Workshop on Software Fairness. p. 1-7. FairWare \u201918, Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3194770.3194776","DOI":"10.1145\/3194770.3194776"},{"key":"17_CR52","doi-asserted-by":"publisher","unstructured":"Wang, C., Cheung, A., Bodik, R.: Synthesizing highly expressive sql queries from input-output examples. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 452-466. PLDI 2017, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3062341.3062365","DOI":"10.1145\/3062341.3062365"},{"key":"17_CR53","doi-asserted-by":"publisher","unstructured":"Warner, R., Sloan, R.H.: Making artificial intelligence transparent: Fairness and the problem of proxy variables. Criminal Justice Ethics 40(1), 23\u201339 (2021). https:\/\/doi.org\/10.1080\/0731129X.2021.1893932","DOI":"10.1080\/0731129X.2021.1893932"},{"key":"17_CR54","unstructured":"Wightman, L.F.: LSAC national longitudinal bar passage study. In: LSAC Research Report Series (1998), https:\/\/eric.ed.gov\/?id=ED469370"},{"key":"17_CR55","doi-asserted-by":"crossref","unstructured":"Yeh, I.C., hui Lien, C.: The comparisons of data mining techniques for the predictive accuracy of probability of default of credit card clients. Expert Systems with Applications 36(2, Part 1), 2473\u20132480 (2009). https:\/\/doi.org\/j.eswa.2007.12.020","DOI":"10.1016\/j.eswa.2007.12.020"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-90653-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:37:09Z","timestamp":1764401829000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-90653-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031906527","9783031906534"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-90653-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hamilton, ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2025\/conferences\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}