{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:43:25Z","timestamp":1761129805554,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030671471"},{"type":"electronic","value":"9783030671488"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67148-8_13","type":"book-chapter","created":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T13:14:58Z","timestamp":1612358098000},"page":"171-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Explainable Artificial Intelligence. Model Discovery with Constraint Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6573-4246","authenticated-orcid":false,"given":"Antoni","family":"Lig\u0119za","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5962-4043","authenticated-orcid":false,"given":"Pawe\u0142","family":"Jemio\u0142o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1860-6989","authenticated-orcid":false,"given":"Weronika T.","family":"Adrian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7269-8215","authenticated-orcid":false,"given":"Mateusz","family":"\u015ala\u017cy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0435-0994","authenticated-orcid":false,"given":"Marek","family":"Adrian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6194-2737","authenticated-orcid":false,"given":"Krystian","family":"Jobczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1876-9603","authenticated-orcid":false,"given":"Krzysztof","family":"Kluza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2887-5936","authenticated-orcid":false,"given":"Bernadetta","family":"Stachura-Terlecka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3777-642X","authenticated-orcid":false,"given":"Piotr","family":"Wi\u015bniewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,4]]},"reference":[{"key":"13_CR1","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"13_CR2","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier (2006)"},{"key":"13_CR3","volume-title":"Constraint-Based Local Search","author":"PV Hentenryck","year":"2005","unstructured":"Hentenryck, P.V., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)"},{"key":"13_CR4","unstructured":"Lig\u0119za, A.: Polskie Towarzystwo Informatyczne. In: Ganzha, M., Maciaszek, L., Paprzycki, M. (eds.) Proceedings of the Federated Conference on Computer Science and Information Systems 2012, pp. 101\u2013107. IEEE Computer Society Press, Warsaw; Los Alamitos (2012)"},{"key":"13_CR5","unstructured":"Lig\u0119za, A.: Polskie Towarzystwo Informatyczne. In: Kryszkiewicz, M., Appice, A., \u015al\u0119zak, D., Rybinski, H., Skowron, A., R.Z.W. (eds.) International Symposium on Methodologies for Intelligent Systems, pp. 261\u2013268. Springer, Warsaw (2017)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Magnani, L., Bertolotti, T.: Springer Handbook of Model-Based Science. Springer, Heidelberg (2017)","DOI":"10.1007\/978-3-319-30526-4"},{"key":"13_CR7","unstructured":"Arrieta, A.B., D\u00edaz-Rodr\u00edguez, N., \u00a0Del\u00a0Ser, J., \u00a0Bennetot, A., Tabik, S., Barbado, A., Garc\u00eda, S., Gil-L\u00f3pez, S., Molina, D., Benjamins, R., et\u00a0al.: Information Fusion (2019)"},{"key":"13_CR8","unstructured":"Do\u0161ilovi\u0107, F.K., Br\u010di\u0107, M., Hlupi\u0107, N.: 2018 41st International convention on information and communication technology, electronics and microelectronics (MIPRO), pp. 0210\u20130215. IEEE (2018)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Causality. Models, Reasoning and Inference, 2nd edn. Cambridge University Press, New York (2009)","DOI":"10.1017\/CBO9780511803161"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Li, J., Le, T.D., Liu, L., Liu, J.: ACM Trans. Intell. Syst. Technol. 7(2), 14:1 (2015)","DOI":"10.1145\/2746410"},{"key":"13_CR11","unstructured":"Yu, K., Li, J., Liu, L.: A review on algorithms for constraint-based causal discovery. arxiv:1611.03977v1 [cs.ai], University of South Australia (2016)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Lig\u0119za, A.: International Conference on Diagnostics of Processes and Systems, pp. 94\u2013105. Springer (2017)","DOI":"10.1007\/978-3-319-64474-5_8"},{"key":"13_CR13","unstructured":"A.\u00a0Lig\u0119za, in Proceedings of the International joint Conference on Knowledge discovery, Knowledge engineering and Knowledge management, IC3K, vol. 2-KEOD (SCITEPRESS - Science and Technology Publications, Lisbon, Portugal, 2015), IC3K, vol. 2-KEOD, pp. 352\u2013357"},{"issue":"9","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1428","DOI":"10.3390\/app8091428","volume":"8","author":"P Wi\u015bniewski","year":"2018","unstructured":"Wi\u015bniewski, P., Kluza, K., Lig\u0119za, A.: Applied Sciences 8(9), 1428 (2018)","journal-title":"Applied Sciences"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski, P., \u00a0Lig\u0119za, A.: International Conference on Artificial Intelligence and Soft Computing, pp. 788\u2013798. Springer (2018)","DOI":"10.1007\/978-3-319-91262-2_69"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski, P., \u00a0Kluza, K., Jobczyk, B, \u00a0Stachura-Terlecka, K., \u00a0Lig\u0119za, A.: International Conference on Knowledge Science, Engineering and Management, pp. 55\u201360. Springer (2019)","DOI":"10.1007\/978-3-030-29563-9_6"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Kluza, K., Wi\u015bniewski, P., Adrian, W.T., Lig\u0119za, A.: International Conference on Knowledge Science, Engineering and Management, pp. 615\u2013627. Springer (2019)","DOI":"10.1007\/978-3-030-29551-6_55"},{"key":"13_CR18","unstructured":"Lig\u0119za, A, \u00a0Fuster-Parra, P., Aguilar-Martin, J.: LAAS Report No. 96316 (1996)"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-319-30526-4_20","volume-title":"Springer Handbook of Model-Based Science","author":"A Lig\u0119za","year":"2017","unstructured":"Lig\u0119za, A., G\u00f3rny, B.: Springer Handbook of Model-Based Science, pp. 435\u2013461. Springer, Cham (2017)"},{"issue":"5","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3236009","volume":"51","author":"R Guidotti","year":"2019","unstructured":"Guidotti, R., Monreale, A., Ruggieri, S., Turini, F., Giannotti, F., Pedreschi, D.: ACM Comput. Surv. 51(5), 1\u201342 (2019). https:\/\/doi.org\/10.1145\/3236009","journal-title":"ACM Comput. Surv."},{"key":"13_CR21","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 1135\u20131144. ACM (2016)"},{"key":"13_CR22","unstructured":"Chen, H., Lundberg, S., Lee, S.I.: arXiv preprint arXiv:1911.11888 (2019)"},{"key":"13_CR23","unstructured":"Selvaraju, R.R., Cogswell, M., Das, A., Vedantam, R., Parikh, D., Batra, D.:Proceedings of the IEEE International Conference on Computer Vision, pp. 618\u2013626 (2017)"},{"key":"13_CR24","unstructured":"Zhang, Y., Sreedharan, S., \u00a0Kulkarni, A., Chakraborti, T., Zhuo, H.H., Kambhampati, S.: 2017 IEEE International Conference on Robotics and Automation (ICRA), pp. 1313\u20131320. IEEE (2017)"},{"key":"13_CR25","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2010","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall, New York (2010)","edition":"3"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: Artif. Intell. 32, 57 (1987)","journal-title":"Artif. Intell."},{"volume-title":"Readings in Model-Based Diagnosis","year":"1992","key":"13_CR27","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo (1992)"},{"key":"13_CR28","unstructured":"Poole, D.: Proceedings of IJCAI-89, Sridharan, N.S. (ed.), pp. 1304\u20131310. Morgan Kaufmann (1989)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Bessiere, C., Raedt, L.D., Kotthoff, L., Nijssen, S., O\u2019Sullivan, B., Pedreshi, D. (eds.) Data Mining and Constraint Programming. Foundations of a Cross-Disciplinary Approach. Lecture Notes in Artificial Intelligence, vol. 10101. Springer International Publishing (2016)","DOI":"10.1007\/978-3-319-50137-6"},{"issue":"4","key":"13_CR30","doi-asserted-by":"publisher","first-page":"465","DOI":"10.2478\/v10006-008-0041-8","volume":"18","author":"A Lig\u0119za","year":"2008","unstructured":"Lig\u0119za, A., Ko\u015bcielny, J.M.: Int. J. Appl. Math. Comput. Sci. 18(4), 465 (2008)","journal-title":"Int. J. Appl. Math. Comput. Sci."}],"container-title":["Studies in Computational Intelligence","Intelligent Systems in Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67148-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T16:40:17Z","timestamp":1619282417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-67148-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030671471","9783030671488"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67148-8_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISMIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Methodologies for Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ismis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ismis.ist.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"79","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}