{"id":"https://openalex.org/W3213935629","doi":"https://doi.org/10.1007/s10458-021-09531-9","title":"Combining quantitative and qualitative reasoning in concurrent multi-player games","display_name":"Combining quantitative and qualitative reasoning in concurrent multi-player games","publication_year":2021,"publication_date":"2021-11-09","ids":{"openalex":"https://openalex.org/W3213935629","doi":"https://doi.org/10.1007/s10458-021-09531-9","mag":"3213935629"},"language":"en","primary_location":{"id":"doi:10.1007/s10458-021-09531-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10458-021-09531-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10458-021-09531-9.pdf","source":{"id":"https://openalex.org/S5405189","display_name":"Autonomous Agents and Multi-Agent Systems","issn_l":"1387-2532","issn":["1387-2532","1573-7454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Autonomous Agents and Multi-Agent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10458-021-09531-9.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013988121","display_name":"Nils Bulling","orcid":null},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nils Bulling","raw_affiliation_strings":["Institute for Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066665696","display_name":"Valentin Goranko","orcid":"https://orcid.org/0000-0002-0157-1644"},"institutions":[{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]}],"countries":["SE","ZA"],"is_corresponding":true,"raw_author_name":"Valentin Goranko","raw_affiliation_strings":["Department of Philosophy, Stockholm University, Stockholm, Sweden","Institute for Intelligent Systems, University of Johannesburg (visiting professorship), Johannesburg, South Africa"],"raw_orcid":"https://orcid.org/0000-0002-0157-1644","affiliations":[{"raw_affiliation_string":"Department of Philosophy, Stockholm University, Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Institute for Intelligent Systems, University of Johannesburg (visiting professorship), Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066665696"],"corresponding_institution_ids":["https://openalex.org/I161593684","https://openalex.org/I24027795"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.679,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.87282299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"36","issue":"1","first_page":null,"last_page":null},"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.9977999925613403,"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/decidability","display_name":"Decidability","score":0.7264968752861023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7253652811050415},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.6813628673553467},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6734138131141663},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.417949914932251},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37901023030281067},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.371658056974411},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3451356589794159},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3244193196296692},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18399763107299805}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7264968752861023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7253652811050415},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.6813628673553467},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6734138131141663},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.417949914932251},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37901023030281067},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.371658056974411},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3451356589794159},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3244193196296692},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18399763107299805}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10458-021-09531-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10458-021-09531-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10458-021-09531-9.pdf","source":{"id":"https://openalex.org/S5405189","display_name":"Autonomous Agents and Multi-Agent Systems","issn_l":"1387-2532","issn":["1387-2532","1573-7454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Autonomous Agents and Multi-Agent Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10458-021-09531-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10458-021-09531-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10458-021-09531-9.pdf","source":{"id":"https://openalex.org/S5405189","display_name":"Autonomous Agents and Multi-Agent Systems","issn_l":"1387-2532","issn":["1387-2532","1573-7454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Autonomous Agents and Multi-Agent Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7621416588","display_name":null,"funder_award_id":"2015-04388","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320325669","display_name":"Stockholms Universitet","ror":"https://ror.org/05f0yaq80"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3213935629.pdf","grobid_xml":"https://content.openalex.org/works/W3213935629.grobid-xml"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W139092964","https://openalex.org/W172467320","https://openalex.org/W173686510","https://openalex.org/W206679605","https://openalex.org/W1480317510","https://openalex.org/W1493373428","https://openalex.org/W1497329491","https://openalex.org/W1503123623","https://openalex.org/W1504862800","https://openalex.org/W1514267827","https://openalex.org/W1521551618","https://openalex.org/W1564039519","https://openalex.org/W1566513654","https://openalex.org/W1580675843","https://openalex.org/W1596041124","https://openalex.org/W1625359640","https://openalex.org/W1782528461","https://openalex.org/W1799125424","https://openalex.org/W1964901465","https://openalex.org/W1966063923","https://openalex.org/W1977601940","https://openalex.org/W1981015644","https://openalex.org/W1982429087","https://openalex.org/W2002089154","https://openalex.org/W2005684815","https://openalex.org/W2006655145","https://openalex.org/W2012140001","https://openalex.org/W2023074074","https://openalex.org/W2029583849","https://openalex.org/W2033058983","https://openalex.org/W2045519963","https://openalex.org/W2048905609","https://openalex.org/W2061572317","https://openalex.org/W2096272173","https://openalex.org/W2096608485","https://openalex.org/W2105702545","https://openalex.org/W2106001218","https://openalex.org/W2108913612","https://openalex.org/W2109058602","https://openalex.org/W2109100253","https://openalex.org/W2116509046","https://openalex.org/W2133884792","https://openalex.org/W2156194062","https://openalex.org/W2157438678","https://openalex.org/W2160254449","https://openalex.org/W2166972312","https://openalex.org/W2171622895","https://openalex.org/W2301866194","https://openalex.org/W2394903686","https://openalex.org/W2519530603","https://openalex.org/W2526576663","https://openalex.org/W2536466748","https://openalex.org/W2569421531","https://openalex.org/W2575731723","https://openalex.org/W2809383981","https://openalex.org/W2944913984","https://openalex.org/W2964021571","https://openalex.org/W2998411437","https://openalex.org/W3089837850","https://openalex.org/W3100550693","https://openalex.org/W3104838059","https://openalex.org/W3210476636","https://openalex.org/W4253103663","https://openalex.org/W4285719527","https://openalex.org/W6630093790","https://openalex.org/W6674521179","https://openalex.org/W6676468133","https://openalex.org/W6683159045","https://openalex.org/W6732044407","https://openalex.org/W6783925530"],"related_works":["https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W3187762542","https://openalex.org/W4289687320","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":{"Abstract":[0],"We":[1,79],"propose":[2,49],"a":[3,50],"general":[4,100],"framework":[5,82,96],"for":[6,105],"modelling":[7],"and":[8,22,25,37,48,76,97,102],"formal":[9],"reasoning":[10],"about":[11],"multi-agent":[12],"systems":[13],"and,":[14],"in":[15,94],"particular,":[16],"multi-stage":[17],"games":[18],"where":[19],"both":[20],"quantitative":[21,51,75],"qualitative":[23,77],"objectives":[24],"constraints":[26],"are":[27],"involved.":[28],"Our":[29],"models":[30,34],"enrich":[31],"concurrent":[32],"game":[33],"with":[35,42,83],"payoffs":[36],"guards":[38],"on":[39],"actions":[40],"associated":[41],"each":[43],"state":[44],"of":[45,53,74],"the":[46,54,72,81,90],"model":[47],"extension":[52],"logic":[55],"$${\\textsf":[56],"{ATL}}^{*}$$":[57],"<mml:math":[58],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[59],"<mml:msup>":[60],"<mml:mrow>":[61,64],"<mml:mi>ATL</mml:mi>":[62],"</mml:mrow>":[63,67],"<mml:mrow/>":[65],"<mml:mo>\u2217</mml:mo>":[66],"</mml:msup>":[68],"</mml:math>":[69],"that":[70],"enables":[71],"combination":[73],"reasoning.":[78],"illustrate":[80],"some":[84,99],"detailed":[85],"examples.":[86],"Finally,":[87],"we":[88],"consider":[89],"model-checking":[91],"problems":[92],"arising":[93],"our":[95],"establish":[98],"undecidability":[101],"decidability":[103],"results":[104],"them.":[106]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}