乐胖代购免代理版

{"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":{"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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-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"],"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/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]}],"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"],"affiliations":[{"raw_affiliation_string":"Institute for Intelligent Systems, University of Johannesburg (visiting professorship), Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795"]},{"raw_affiliation_string":"Department of Philosophy, Stockholm University, Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066665696"],"corresponding_institution_ids":["https://openalex.org/I24027795","https://openalex.org/I161593684"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"fwci":1.255,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":12,"citation_normalized_percentile":{"value":0.793627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"36","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998,"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.9998,"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.9978,"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.9971,"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/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.68136287}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7264969},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7253653},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.68136287},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6734138},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41794991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37901023},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37165806},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34513566},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32441932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18399763}],"mesh":[],"locations_count":1,"locations":[{"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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det","award_id":"2015-04388"},{"funder":"https://openalex.org/F4320325669","funder_display_name":"Stockholms Universitet","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":64,"referenced_works":["https://openalex.org/W139092964","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/W172467320","https://openalex.org/W173686510","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/W206679605","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"],"related_works":["https://openalex.org/W925418074","https://openalex.org/W4383764068","https://openalex.org/W4289687320","https://openalex.org/W3187762542","https://openalex.org/W2972379433","https://openalex.org/W2331020993","https://openalex.org/W2119610731","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W1481826604"],"abstract_inverted_index":{"Abstract":[0],"We":[1,80],"propose":[2,49],"a":[3,50],"general":[4,101],"framework":[5,83,97],"for":[6,106],"modelling":[7],"and":[8,22,25,37,48,77,98,103],"formal":[9],"reasoning":[10],"about":[11],"multi-agent":[12],"systems":[13],"and,":[14],"in":[15,95],"particular,":[16],"multi-stage":[17],"games":[18],"where":[19],"both":[20],"quantitative":[21,51,76],"qualitative":[23,78],"objectives":[24],"constraints":[26],"are":[27],"involved.":[28],"Our":[29],"models":[30,34],"enrich":[31],"concurrent":[32],"game":[33],"with":[35,42,84],"payoffs":[36],"guards":[38],"on":[39],"actions":[40],"associated":[41],"each":[43],"state":[44],"of":[45,53,75],"the":[46,54,73,82,91],"model":[47],"extension":[52],"logic":[55],"$${\\textsf":[56],"{ATL}}^{*}$$":[57],"":[59],"":[60],"":[61,64],"ATL":[62],"":[63,68],"":[66],"\u2217":[67],"":[69],"":[70],"that":[71],"enables":[72],"combination":[74],"reasoning.":[79],"illustrate":[81],"some":[85,100],"detailed":[86],"examples.":[87],"Finally,":[88],"we":[89],"consider":[90],"model-checking":[92],"problems":[93],"arising":[94],"our":[96],"establish":[99],"undecidability":[102],"decidability":[104],"results":[105],"them.":[107]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3213935629","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2025-01-04T22:26:29.186111","created_date":"2021-11-22"}