{"id":"https://openalex.org/W4401116898","doi":"https://doi.org/10.1093/logcom/exae036","title":"The XAI system for answer set programming xASP2","display_name":"The XAI system for answer set programming xASP2","publication_year":2024,"publication_date":"2024-07-29","ids":{"openalex":"https://openalex.org/W4401116898","doi":"https://doi.org/10.1093/logcom/exae036"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae036","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae036","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039882261","display_name":"Mario Alviano","orcid":"https://orcid.org/0000-0002-2052-2063"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mario Alviano","raw_affiliation_strings":["DEMACS, University of Calabria , Via Bucci 30/B, 87036 Rende (CS) ,","DEMACS, University of Calabria, Via Bucci 30/B, 87036 Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DEMACS, University of Calabria , Via Bucci 30/B, 87036 Rende (CS) ,","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"DEMACS, University of Calabria, Via Bucci 30/B, 87036 Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084388910","display_name":"Ly Ly Trieu","orcid":null},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ly Ly Trieu","raw_affiliation_strings":["Department of Computer Science, New Mexico State University , Las Cruces, NM ,","Department of Computer Science, New Mexico State University, Las Cruces, NM, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University , Las Cruces, NM ,","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, Las Cruces, NM, USA","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063459912","display_name":"Tran Cao Son","orcid":"https://orcid.org/0000-0003-3689-8433"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tran Cao Son","raw_affiliation_strings":["Department of Computer Science, New Mexico State University , Las Cruces, NM ,","Department of Computer Science, New Mexico State University, Las Cruces, NM, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University , Las Cruces, NM ,","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, Las Cruces, NM, USA","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087630418","display_name":"Marcello Balduccini","orcid":"https://orcid.org/0000-0001-5445-3054"},"institutions":[{"id":"https://openalex.org/I51077184","display_name":"Saint Joseph's University","ror":"https://ror.org/05q87sg56","country_code":"US","type":"education","lineage":["https://openalex.org/I51077184"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcello Balduccini","raw_affiliation_strings":["Department of Decision & System Sciences, Saint Joseph\u2019s University , Pennsylvania, PA ,","Department of Decision & System Sciences, Saint Joseph's University, Pennsylvania, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Decision & System Sciences, Saint Joseph\u2019s University , Pennsylvania, PA ,","institution_ids":["https://openalex.org/I51077184"]},{"raw_affiliation_string":"Department of Decision & System Sciences, Saint Joseph's University, Pennsylvania, PA, USA","institution_ids":["https://openalex.org/I51077184"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084388910"],"corresponding_institution_ids":["https://openalex.org/I10052268"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.8335,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76859199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"34","issue":"8","first_page":"1500","last_page":"1525"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7269923090934753},{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.7224026918411255},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6620284914970398},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5801193118095398},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5282106995582581},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5241824984550476},{"id":"https://openalex.org/keywords/lexicographical-order","display_name":"Lexicographical order","score":0.44548314809799194},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.42772185802459717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31292417645454407},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27446722984313965},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22360742092132568},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20670056343078613},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.15810412168502808}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7269923090934753},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.7224026918411255},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6620284914970398},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5801193118095398},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5282106995582581},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5241824984550476},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.44548314809799194},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.42772185802459717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31292417645454407},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27446722984313965},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22360742092132568},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20670056343078613},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15810412168502808},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exae036","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae036","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6734897840","display_name":null,"funder_award_id":"CUP H53C22000800006","funder_id":"https://openalex.org/F4320321781","funder_display_name":"Ministero della Salute"}],"funders":[{"id":"https://openalex.org/F4320321781","display_name":"Ministero della Salute","ror":"https://ror.org/00789fa95"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W953051941","https://openalex.org/W1484403583","https://openalex.org/W1584531404","https://openalex.org/W1639901403","https://openalex.org/W2041982931","https://openalex.org/W2071353749","https://openalex.org/W2112296007","https://openalex.org/W2135415614","https://openalex.org/W2138596350","https://openalex.org/W2151485489","https://openalex.org/W2152131859","https://openalex.org/W2174235632","https://openalex.org/W2211798527","https://openalex.org/W2574472735","https://openalex.org/W2578593895","https://openalex.org/W2951006899","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3088333893","https://openalex.org/W3089031584","https://openalex.org/W3099229524","https://openalex.org/W3105322051","https://openalex.org/W4206322461","https://openalex.org/W4237091018","https://openalex.org/W4289790492","https://openalex.org/W4293179518","https://openalex.org/W4392291757","https://openalex.org/W6630458657","https://openalex.org/W6739464331","https://openalex.org/W6766080038","https://openalex.org/W6782097670","https://openalex.org/W6799062258","https://openalex.org/W6800954072","https://openalex.org/W6838334751"],"related_works":["https://openalex.org/W1993634787","https://openalex.org/W3125614403","https://openalex.org/W4400317913","https://openalex.org/W2476923378","https://openalex.org/W3100240142","https://openalex.org/W2803221307","https://openalex.org/W4211001408","https://openalex.org/W2903963821","https://openalex.org/W2366147410","https://openalex.org/W62366039"],"abstract_inverted_index":{"Abstract":[0],"Explainable":[1],"artificial":[2],"intelligence":[3],"(XAI)":[4],"aims":[5],"at":[6],"addressing":[7],"complex":[8],"problems":[9],"by":[10,83,90],"coupling":[11],"solutions":[12],"with":[13],"reasons":[14],"that":[15],"justify":[16],"the":[17,21,28,35,47,52,55,73,76,79,85,109,116],"provided":[18],"answer.":[19],"In":[20],"context":[22],"of":[23,39,54,64,78],"Answer":[24],"Set":[25],"Programming":[26],"(ASP)":[27],"user":[29,110],"may":[30],"be":[31,60],"interested":[32],"in":[33,42,51,62,75,111,122],"linking":[34],"presence":[36],"or":[37],"absence":[38],"an":[40,43,112],"atom":[41],"answer":[44],"set":[45],"to":[46,95,108],"logic":[48],"rules":[49],"involved":[50],"inference":[53],"atom.":[56],"Such":[57],"explanations":[58],"can":[59],"given":[61],"terms":[63],"directed":[65],"acyclic":[66],"graphs":[67],"(DAGs).":[68],"This":[69],"article":[70],"reports":[71],"on":[72],"advancements":[74],"development":[77],"XAI":[80],"system":[81],"xASP":[82,117],"revising":[84],"main":[86],"foundational":[87],"notions":[88],"and":[89,102],"introducing":[91],"new":[92],"ASP":[93],"encodings":[94],"compute":[96],"minimal":[97],"assumption":[98],"sets,":[99],"explanation":[100,103],"sequences,":[101],"DAGs.":[104],"DAGs":[105],"are":[106],"shown":[107],"interactive":[113],"form":[114],"via":[115],"navigator":[118],"application,":[119],"also":[120],"introduced":[121],"this":[123],"work.":[124]},"counts_by_year":[{"year":2024,"cited_by_count":3}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}