{"id":"https://openalex.org/W4392654340","doi":"https://doi.org/10.46298/lmcs-20(1:21)2024","title":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials","display_name":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials","publication_year":2024,"publication_date":"2024-03-08","ids":{"openalex":"https://openalex.org/W4392654340","doi":"https://doi.org/10.46298/lmcs-20(1:21)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(1:21)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(1:21)2024","pdf_url":"https://lmcs.episciences.org/13205/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/13205/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010064604","display_name":"Erich Gr\u00e4del","orcid":"https://orcid.org/0000-0002-8950-9991"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Erich Gr\u00e4del","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075026608","display_name":"Niels L\u00fccking","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Niels L\u00fccking","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080601428","display_name":"Matthias Naaf","orcid":"https://orcid.org/0000-0002-1099-5713"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Naaf","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010064604"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02170384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9902999997138977,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9902999997138977,"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.9886999726295471,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9868000149726868,"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/semiring","display_name":"Semiring","score":0.7460750341415405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4365690350532532},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4259694516658783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4077315330505371}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.7460750341415405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4365690350532532},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4259694516658783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4077315330505371}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46298/lmcs-20(1:21)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(1:21)2024","pdf_url":"https://lmcs.episciences.org/13205/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a83cac3685e948cb80ac6ac9ab738a59","is_oa":true,"landing_page_url":"https://doaj.org/article/a83cac3685e948cb80ac6ac9ab738a59","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(1:21)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(1:21)2024","pdf_url":"https://lmcs.episciences.org/13205/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392654340.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1501718049","https://openalex.org/W1577649355","https://openalex.org/W1594997032","https://openalex.org/W1845559582","https://openalex.org/W2005353519","https://openalex.org/W2040228039","https://openalex.org/W2067464091","https://openalex.org/W2125528794","https://openalex.org/W2293299776","https://openalex.org/W2295651644","https://openalex.org/W2491245257","https://openalex.org/W2502103274","https://openalex.org/W2613457660","https://openalex.org/W2774809264","https://openalex.org/W2791059415","https://openalex.org/W2791094827","https://openalex.org/W2804589645","https://openalex.org/W2898751024","https://openalex.org/W2954811714","https://openalex.org/W2996355221","https://openalex.org/W2997110971","https://openalex.org/W3035091682","https://openalex.org/W3094619289","https://openalex.org/W3126794850","https://openalex.org/W3173532392","https://openalex.org/W3211007717","https://openalex.org/W4214702250","https://openalex.org/W4299285971"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W185248416","https://openalex.org/W4312619976","https://openalex.org/W202649520","https://openalex.org/W2381312783","https://openalex.org/W2186303141","https://openalex.org/W2371578151","https://openalex.org/W2183214273","https://openalex.org/W2351097202","https://openalex.org/W1029783734"],"abstract_inverted_index":{"This":[0,79,172],"paper":[1],"presents":[2],"a":[3,48,92,125,129,132,140],"case":[4,97,119],"study":[5],"for":[6,12,82],"the":[7,16,26,39,44,60,86,117,121,167,185],"application":[8],"of":[9,18,55,98,102,128,196],"semiring":[10,54,143,208],"semantics":[11,24,29,144],"fixed-point":[13,40,122],"formulae":[14],"to":[15,108,164,184,188],"analysis":[17],"strategies":[19,75,150,152],"in":[20,47,51,139],"B\\\"uchi":[21,99],"games.":[22],"Semiring":[23],"generalizes":[25],"classical":[27],"Boolean":[28,61],"by":[30,207],"permitting":[31],"multiple":[32],"truth":[33],"values":[34],"from":[35],"certain":[36],"semirings.":[37],"Evaluating":[38],"formula":[41],"that":[42,153,202],"defines":[43],"winning":[45,87],"region":[46,88],"given":[49],"game":[50,178,186],"an":[52],"appropriate":[53],"polynomials":[56],"provides":[57],"not":[58,105],"only":[59,106],"information":[62,146,173],"on":[63],"who":[64],"wins,":[65],"but":[66,112],"also":[67,113],"tells":[68],"us":[69],"how":[70,161],"they":[71,76],"win":[72,154],"and":[73,131,158,166,199],"which":[74],"might":[77],"use.":[78],"is":[80,89,101,116],"well-understood":[81],"reachability":[83],"games,":[84],"where":[85,120],"definable":[90],"as":[91,177],"least":[93,133],"fixed":[94,134],"point.":[95,135],"The":[96],"games":[100],"special":[103],"interest,":[104],"due":[107],"their":[109],"practical":[110],"importance,":[111],"because":[114],"it":[115],"simplest":[118],"definition":[123],"involves":[124],"genuine":[126],"alternation":[127],"greatest":[130],"We":[136],"show":[137],"that,":[138],"precise":[141],"sense,":[142],"provide":[145],"about":[147],"all":[148],"absorption-dominant":[149],"--":[151],"with":[155],"minimal":[156,182],"effort,":[157],"we":[159,193],"discuss":[160,194],"these":[162],"relate":[163],"positional":[165],"more":[168],"general":[169],"persistent":[170],"strategies.":[171],"enables":[174],"applications":[175],"such":[176],"synthesis":[179],"or":[180],"determining":[181],"modifications":[183],"needed":[187],"change":[189],"its":[190],"outcome.":[191],"Lastly,":[192],"limitations":[195],"our":[197],"approach":[198],"present":[200],"questions":[201],"cannot":[203],"be":[204],"immediately":[205],"answered":[206],"semantics.":[209]},"counts_by_year":[],"updated_date":"2025-12-30T23:08:21.542490","created_date":"2024-03-12T00:00:00"}