{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:38:39Z","timestamp":1768163919754,"version":"3.49.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031849237","type":"print"},{"value":"9783031849244","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:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-84924-4_14","type":"book-chapter","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:24Z","timestamp":1742212884000},"page":"215-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["C3G: Causally Constrained Counterfactual Generation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-3594-5430","authenticated-orcid":false,"given":"Sopam","family":"Dasgupta","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2460-3132","authenticated-orcid":false,"given":"Farhad","family":"Shakerin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4148-311X","authenticated-orcid":false,"given":"Joaqu\u00edn","family":"Arias","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3042-474X","authenticated-orcid":false,"given":"Elmer","family":"Salazar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9727-0362","authenticated-orcid":false,"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,3,18]]},"reference":[{"key":"14_CR1","unstructured":"Supplement: C3G: Causality Constrained Counterfactual Generation. https:\/\/github.com\/sopam\/PADL-2025\/tree\/main"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Congressional Voting Records: UCI Machine Learning Repository (1987). https:\/\/doi.org\/10.24432\/C5C01P","DOI":"10.24432\/C5C01P"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Mushroom. UCI Machine Learning Repository (1987). https:\/\/doi.org\/10.24432\/C5959T","DOI":"10.24432\/C5959T"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Arias, J., Carro, M., Chen, Z., Gupta, G.: Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Theory Pract. Log. Program. 22(1), 51\u201380 (2022). https:\/\/doi.org\/10.1017\/S1471068421000156","DOI":"10.1017\/S1471068421000156"},{"issue":"3\u20134","key":"14_CR5","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S1471068418000285","volume":"18","author":"J Arias","year":"2018","unstructured":"Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. Theory Pract. Logic Program. 18(3\u20134), 337\u2013354 (2018). https:\/\/doi.org\/10.1017\/S1471068418000285","journal-title":"Theory Pract. Logic Program."},{"key":"14_CR6","unstructured":"Baral, C.: Knowledge Representation, 1st edn. Reasoning and Declarative Problem Solving. Cambridge University Press, USA (2010)"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Becker, B., Kohavi, R.: Adult. UCI Machine Learning Repository (1996). https:\/\/doi.org\/10.24432\/C5XW20","DOI":"10.24432\/C5XW20"},{"key":"14_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-030-97454-1_4","volume-title":"ILP 2021","author":"LE Bertossi","year":"2021","unstructured":"Bertossi, L.E., Reyes, G.: Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification. In: Katzouris, N., Artikis, A. (eds.) ILP 2021. LNCS, vol. 13191, pp. 41\u201356. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-97454-1_4"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Bohanec, M.: Car Evaluation. UCI Machine Learning Repository (1997). https:\/\/doi.org\/10.24432\/C5JP48","DOI":"10.24432\/C5JP48"},{"issue":"12","key":"14_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011). https:\/\/doi.org\/10.1145\/2043174.2043195","journal-title":"Commun. ACM"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Carloni, G., Berti, A., Colantonio, S.: The role of causality in explainable artificial intelligence. CoRR abs\/2309.09901 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2309.09901","DOI":"10.48550\/ARXIV.2309.09901"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Chen, T., Guestrin, C.: Xgboost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 785\u2013794. KDD 2016, Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2939672.2939785","DOI":"10.1145\/2939672.2939785"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Cohen, W.W.: Fast effective rule induction. In: Prieditis, A., Russell, S. (eds.) Machine Learning Proceedings 1995, pp. 115\u2013123. Morgan Kaufmann, San Francisco (CA) (1995). https:\/\/doi.org\/10.1016\/B978-1-55860-377-6.50023-2, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9781558603776500232","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"14_CR14","unstructured":"Cukierski, W.: Titanic - machine learning from disaster (2012). https:\/\/kaggle.com\/competitions\/titanic"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Dasgupta, S., Arias, J., Salazar, E., Gupta, G.: Cogs: causality constrained counterfactual explanations using goal-directed ASP. CoRR abs\/2407.08179 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2407.08179","DOI":"10.48550\/ARXIV.2407.08179"},{"key":"14_CR16","unstructured":"Dasgupta, S., Shakerin, F., Salazar, E., Arias, J., Gupta, G.: Causally constrained counterfactual generation using ASP. In: Arias, J., Azzolini, D., Basu, K., Dahl, V., Hecher, M., Pacenza, F., Saribatur, Z.G., Varanasi, S.C. (eds.) Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. CEUR Workshop Proceedings, vol.\u00a03799. CEUR-WS.org (2024). https:\/\/ceur-ws.org\/Vol-3799\/paper5GDE24.pdf"},{"key":"14_CR17","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-031-43619-2_6","volume-title":"JELIA 2023","author":"T Eiter","year":"2023","unstructured":"Eiter, T., Geibinger, T., Oetsch, J.: Contrastive explanations for answer-set programs. In: Gaggl, S.A., Martinez, M.V., Ortiz, M. (eds.) JELIA 2023. LNCS, vol. 14281, pp. 73\u201389. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43619-2_6"},{"key":"14_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"14_CR19","unstructured":"Gupta, G., et al.: Automating commonsense reasoning with asp and s(casp) * (2022). https:\/\/api.semanticscholar.org\/CorpusID:251793743"},{"key":"14_CR20","unstructured":"Karimi, A., Barthe, G., Balle, B., Valera, I.: Model-agnostic counterfactual explanations for consequential decisions. In: Chiappa, S., Calandra, R. (eds.) The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]. Proceedings of Machine Learning Research, vol.\u00a0108, pp. 895\u2013905. PMLR (2020). http:\/\/proceedings.mlr.press\/v108\/karimi20a.html"},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Karimi, A., Sch\u00f6lkopf, B., Valera, I.: Algorithmic recourse: from counterfactual explanations to interventions. In: Elish, M.C., Isaac, W., Zemel, R.S. (eds.) FAccT 2021: 2021 ACM Conference on Fairness, Accountability, and Transparency, Virtual Event \/ Toronto, Canada, March 3-10, 2021, pp. 353\u2013362. ACM (2021). https:\/\/doi.org\/10.1145\/3442188.3445899","DOI":"10.1145\/3442188.3445899"},{"key":"14_CR22","unstructured":"Lloyd, J.W.: Foundations of logic programming. In: Symbolic Computation (1987). https:\/\/api.semanticscholar.org\/CorpusID:46408498"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1214\/09-SS057","volume":"3","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causal inference in statistics: an overview. Stat. Surv. 3, 96\u2013146 (2009). https:\/\/doi.org\/10.1214\/09-SS057","journal-title":"Stat. Surv."},{"key":"14_CR24","doi-asserted-by":"publisher","unstructured":"Realinho, V., Vieira\u00a0Martins, M., Machado, J., Baptista, L.: Predict students\u2019 dropout and academic success. UCI Mach. Learn. Repository (2021). https:\/\/doi.org\/10.24432\/C5MC89","DOI":"10.24432\/C5MC89"},{"key":"14_CR25","doi-asserted-by":"publisher","unstructured":"Russell, C.: Efficient search for diverse coherent explanations. In: Proceedings of the Conference on Fairness, Accountability, and Transparency, pp. 20\u201328. FAT* 2019, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3287560.3287569","DOI":"10.1145\/3287560.3287569"},{"key":"14_CR26","doi-asserted-by":"publisher","unstructured":"Tolomei, G., Silvestri, F., Haines, A., Lalmas, M.: Interpretable predictions of tree-based ensembles via actionable feature tweaking. In: Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 465\u2013474. KDD 2017, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3097983.3098039","DOI":"10.1145\/3097983.3098039"},{"key":"14_CR27","doi-asserted-by":"publisher","unstructured":"Ustun, B., Spangher, A., Liu, Y.: Actionable recourse in linear classification. In: danah boyd, Morgenstern, J.H. (eds.) Proceedings of the Conference on Fairness, Accountability, and Transparency, FAT* 2019, Atlanta, GA, USA, January 29-31, 2019, pp. 10\u201319. ACM (2019). https:\/\/doi.org\/10.1145\/3287560.3287566","DOI":"10.1145\/3287560.3287566"},{"issue":"2","key":"14_CR28","first-page":"841","volume":"31","author":"S Wachter","year":"2018","unstructured":"Wachter, S., Mittelstadt, B., Russell, C.: Counterfactual explanations without opening the black box: automated decisions and the GDPR. Harvard J. Law Technol. 31(2), 841\u2013887 (2018)","journal-title":"Harvard J. Law Technol."},{"key":"14_CR29","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-031-52038-9_3","volume-title":"PADL 2024","author":"H Wang","year":"2024","unstructured":"Wang, H., Gupta, G.: FOLD-SE: an efficient rule-based machine learning algorithm with scalable explainability. In: Gebser, M., Sergey, I. (eds.) PADL 2024. LNCS, vol. 14512, pp. 37\u201353. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-52038-9_3"},{"key":"14_CR30","doi-asserted-by":"publisher","unstructured":"White, A., d\u2019Avila Garcez, A.S.: Measurable counterfactual local explanations for any classifier. In: Giacomo, G.D., Catal\u00e1, A., Dilkina, B., Milano, M., Barro, S., Bugar\u00edn, A., Lang, J. (eds.) ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Frontiers in Artificial Intelligence and Applications, vol.\u00a0325, pp. 2529\u20132535. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200387","DOI":"10.3233\/FAIA200387"},{"key":"14_CR31","unstructured":"Xia, K., Lee, K., Bengio, Y., Bareinboim, E.: The causal-neural connection: expressiveness, learnability, and inference. In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, pp. 10823\u201310836 (2021). https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/5989add1703e4b0480f75e2390739f34-Abstract.html"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84924-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:31Z","timestamp":1742212891000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84924-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031849237","9783031849244"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84924-4_14","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":"18 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}