{"id":"https://openalex.org/W3013453138","doi":"https://doi.org/10.1109/ickii46306.2019.9042675","title":"Strategy Reasoning in the Multi-agent Systems","display_name":"Strategy Reasoning in the Multi-agent Systems","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3013453138","doi":"https://doi.org/10.1109/ickii46306.2019.9042675","mag":"3013453138"},"language":"en","primary_location":{"id":"doi:10.1109/ickii46306.2019.9042675","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ickii46306.2019.9042675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 2nd International Conference on Knowledge Innovation and Invention (ICKII)","raw_type":"proceedings-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/A5057867466","display_name":"Liping Xiong","orcid":"https://orcid.org/0000-0001-7924-8655"},"institutions":[{"id":"https://openalex.org/I187400657","display_name":"South China Normal University","ror":"https://ror.org/01kq0pv72","country_code":"CN","type":"education","lineage":["https://openalex.org/I187400657"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Liping Xiong","raw_affiliation_strings":["School of Computer, South China Normal University"],"affiliations":[{"raw_affiliation_string":"School of Computer, South China Normal University","institution_ids":["https://openalex.org/I187400657"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120811349","display_name":"Yong Tang","orcid":"https://orcid.org/0000-0002-9812-0742"},"institutions":[{"id":"https://openalex.org/I187400657","display_name":"South China Normal University","ror":"https://ror.org/01kq0pv72","country_code":"CN","type":"education","lineage":["https://openalex.org/I187400657"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Tang","raw_affiliation_strings":["School of Computer, South China Normal University"],"affiliations":[{"raw_affiliation_string":"School of Computer, South China Normal University","institution_ids":["https://openalex.org/I187400657"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101452197","display_name":"Yuejin Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165204","display_name":"Zhuhai Institute of Advanced Technology","ror":"https://ror.org/05r1mzq61","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210145761","https://openalex.org/I4210165204"]},{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuejin Wang","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology,No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan,Zhuhai,China","School of Computer Science and Technology, Beijing Institute of Technology, No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology,No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan,Zhuhai,China","institution_ids":["https://openalex.org/I4210165204"]},{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan, Zhuhai, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024125894","display_name":"Kai-Yung Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]},{"id":"https://openalex.org/I4210165204","display_name":"Zhuhai Institute of Advanced Technology","ror":"https://ror.org/05r1mzq61","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210145761","https://openalex.org/I4210165204"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai-Yung Lin","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology,No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan,Zhuhai,China","School of Computer Science and Technology, Beijing Institute of Technology, No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology,No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan,Zhuhai,China","institution_ids":["https://openalex.org/I4210165204"]},{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, No.55, West of Zhongshan Avenue, Tianhe District, Guangzou No.6 Jinfeng Road, Tangjiawan, Zhuhai, China","institution_ids":["https://openalex.org/I125839683"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5057867466"],"corresponding_institution_ids":["https://openalex.org/I187400657"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21029844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"411","last_page":"414"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.6931904554367065},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5672112703323364},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5599502325057983},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5105355978012085},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.49657708406448364},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.4729211926460266},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4531954526901245},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4506877660751343},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43653619289398193},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.41158726811408997},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3898076117038727},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3595345616340637},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3278895914554596},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.27964597940444946}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6931904554367065},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5672112703323364},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5599502325057983},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5105355978012085},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.49657708406448364},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.4729211926460266},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4531954526901245},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4506877660751343},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43653619289398193},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.41158726811408997},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3898076117038727},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3595345616340637},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3278895914554596},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.27964597940444946},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ickii46306.2019.9042675","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ickii46306.2019.9042675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 2nd International Conference on Knowledge Innovation and Invention (ICKII)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W197077171","https://openalex.org/W1535051955","https://openalex.org/W2023808162","https://openalex.org/W2048905609","https://openalex.org/W2069709605","https://openalex.org/W2108947407","https://openalex.org/W2109058602","https://openalex.org/W2110750971","https://openalex.org/W2322473536","https://openalex.org/W2465914719","https://openalex.org/W2475280705","https://openalex.org/W2806619258","https://openalex.org/W2912248071","https://openalex.org/W3023160548","https://openalex.org/W3037793636","https://openalex.org/W6607985035","https://openalex.org/W6720855238"],"related_works":["https://openalex.org/W1981384792","https://openalex.org/W2143050727","https://openalex.org/W2331558223","https://openalex.org/W946220898","https://openalex.org/W2250456419","https://openalex.org/W2118721394","https://openalex.org/W4232446061","https://openalex.org/W1641375177","https://openalex.org/W3213585982","https://openalex.org/W2234817167"],"abstract_inverted_index":{"Recently,":[0],"the":[1,11,27,35,55,91,110],"popular":[2],"logical":[3],"frameworks":[4],"on":[5,26,71],"strategy":[6,38],"specification":[7],"and":[8,20,114,129,142],"verification":[9],"in":[10,123],"multi-agent":[12],"concurrent":[13],"systems,":[14],"such":[15],"as":[16,42],"alternating-time":[17],"temporal":[18],"logic":[19],"Strategy":[21,86],"Logic":[22,87],"(SL),":[23],"mainly":[24],"focus":[25],"strategic":[28,62,82,135],"abilities":[29,63,136],"of":[30,37,58,112,119,140],"one":[31],"coalition.":[32],"In":[33,67],"them,":[34],"notion":[36],"is":[39,146],"just":[40],"viewed":[41],"a":[43,80],"pure":[44],"syntax":[45],"and/or":[46],"semantics":[47],"object,":[48],"we":[49,78,106,126],"cannot":[50],"represent":[51,128],"or":[52],"reason":[53,130],"about":[54,96,131],"internal":[56],"structures":[57],"strategies,":[59],"let":[60],"alone":[61],"under":[64,137],"these":[65],"ones.":[66],"this":[68,124],"paper,":[69],"based":[70],"linear":[72],"dynamic":[73],"logic,":[74,83,125],"by":[75,117],"extending":[76],"SL,":[77],"propose":[79],"new":[81],"named":[84],"Dynamic":[85],"(DSL),":[88],"which":[89],"includes":[90],"existential/":[92],"universal":[93],"quantification":[94],"operators":[95],"regular":[97,120],"expressions":[98],"with":[99],"test":[100],"expressions.":[101,121],"By":[102],"introducing":[103],"action":[104],"atoms,":[105],"can":[107,127],"specify":[108],"both":[109],"evolution":[111],"time":[113],"structured":[115,138],"strategies":[116,139],"means":[118],"Hence,":[122],"much":[132],"more":[133,147],"expressive":[134,148],"coalitions,":[141],"prove":[143],"that":[144],"DSL":[145],"than":[149],"SL.":[150]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}