{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T04:25:10Z","timestamp":1726892710923},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.5220\/0012474800003636","type":"proceedings-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T05:30:53Z","timestamp":1709184653000},"page":"149-158","source":"Crossref","is-referenced-by-count":0,"title":["Scalable Verification of Social Explainable AI by Variable Abstraction"],"prefix":"10.5220","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Science, Warsaw, Poland, --- Select a Country ---"},{"name":"Interdisciplinary Centre for Security, Reliability, and Trust, SnT, University of Luxembourg, Luxembourg, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Kim","sequence":"additional","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability, and Trust, SnT, University of Luxembourg, Luxembourg, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Kurpiewski","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Science, Warsaw, Poland, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"16th International Conference on Agents and Artificial Intelligence","start":{"date-parts":[[2024,2,24]]},"location":"Rome, Italy","end":{"date-parts":[[2024,2,26]]}},"container-title":["Proceedings of the 16th International Conference on Agents and Artificial Intelligence"],"original-title":["Scalable Verification of Social Explainable AI by Variable Abstraction"],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T12:49:23Z","timestamp":1726836563000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0012474800003636"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0012474800003636","relation":{},"subject":[],"published":{"date-parts":[[2024]]}}}