{"id":"https://openalex.org/W2921537151","doi":"https://doi.org/10.1145/3309761","title":"Reasoning about Strategic Abilities","display_name":"Reasoning about Strategic Abilities","publication_year":2019,"publication_date":"2019-03-18","ids":{"openalex":"https://openalex.org/W2921537151","doi":"https://doi.org/10.1145/3309761","mag":"2921537151"},"language":"en","primary_location":{"id":"doi:10.1145/3309761","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3309761","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/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":true,"raw_author_name":"Nils Bulling","raw_affiliation_strings":["TU Clausthal, Department of Informatics, Clausthal-Zellerfeld, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Clausthal, Department of Informatics, Clausthal-Zellerfeld, Germany","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019701853","display_name":"Wojciech Jamroga","orcid":"https://orcid.org/0000-0001-6340-8845"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"government","lineage":["https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Wojciech Jamroga","raw_affiliation_strings":["Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland","institution_ids":["https://openalex.org/I99542240","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046395329","display_name":"Matei Popovici","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Matei Popovici","raw_affiliation_strings":["POLITEHNICA University of Bucharest, Bucharest, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"POLITEHNICA University of Bucharest, Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013988121"],"corresponding_institution_ids":["https://openalex.org/I43980791"],"apc_list":null,"apc_paid":null,"fwci":0.1451,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55378694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"20","issue":"2","first_page":"1","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"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.9965999722480774,"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/recall","display_name":"Recall","score":0.66513592004776},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.6411869525909424},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6132060289382935},{"id":"https://openalex.org/keywords/forgetting","display_name":"Forgetting","score":0.6097177267074585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48453229665756226},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4586309492588043},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.4350244700908661},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36569005250930786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33596140146255493},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.32779690623283386},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1575067639350891},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.1498226821422577},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.12462681531906128},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.11031597852706909}],"concepts":[{"id":"https://openalex.org/C100660578","wikidata":"https://www.wikidata.org/wiki/Q18733","display_name":"Recall","level":2,"score":0.66513592004776},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.6411869525909424},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6132060289382935},{"id":"https://openalex.org/C7149132","wikidata":"https://www.wikidata.org/wiki/Q1377840","display_name":"Forgetting","level":2,"score":0.6097177267074585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48453229665756226},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4586309492588043},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.4350244700908661},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36569005250930786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33596140146255493},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.32779690623283386},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1575067639350891},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.1498226821422577},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.12462681531906128},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.11031597852706909},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3309761","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3309761","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/41799","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/41799","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 20 (2), 10:1--10:46 (2019)","raw_type":"peer reviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W133924879","https://openalex.org/W152021623","https://openalex.org/W170628993","https://openalex.org/W172467320","https://openalex.org/W1497329491","https://openalex.org/W1527935828","https://openalex.org/W1538974513","https://openalex.org/W1547981982","https://openalex.org/W1565227122","https://openalex.org/W1580675843","https://openalex.org/W1585533089","https://openalex.org/W1769923558","https://openalex.org/W1783469492","https://openalex.org/W1864286575","https://openalex.org/W1890835473","https://openalex.org/W1966063923","https://openalex.org/W1973302434","https://openalex.org/W1974847881","https://openalex.org/W1985610819","https://openalex.org/W1997217819","https://openalex.org/W1998179669","https://openalex.org/W1998468461","https://openalex.org/W1999134680","https://openalex.org/W2003386597","https://openalex.org/W2004306067","https://openalex.org/W2015907520","https://openalex.org/W2017191267","https://openalex.org/W2018933130","https://openalex.org/W2024664992","https://openalex.org/W2027140054","https://openalex.org/W2031522732","https://openalex.org/W2036635964","https://openalex.org/W2038127099","https://openalex.org/W2044339820","https://openalex.org/W2048905609","https://openalex.org/W2054071520","https://openalex.org/W2061572317","https://openalex.org/W2068331423","https://openalex.org/W2069888227","https://openalex.org/W2096965679","https://openalex.org/W2106272197","https://openalex.org/W2108947407","https://openalex.org/W2116676758","https://openalex.org/W2133693398","https://openalex.org/W2138162238","https://openalex.org/W2146819619","https://openalex.org/W2147999468","https://openalex.org/W2156309428","https://openalex.org/W2157438678","https://openalex.org/W2159652932","https://openalex.org/W2340985688","https://openalex.org/W2526576663","https://openalex.org/W2561675875","https://openalex.org/W2611351665","https://openalex.org/W2615497679","https://openalex.org/W2748034626","https://openalex.org/W2912248071","https://openalex.org/W3100101430","https://openalex.org/W3140030144","https://openalex.org/W6683159045"],"related_works":["https://openalex.org/W4365815255","https://openalex.org/W2039663730","https://openalex.org/W2360321812","https://openalex.org/W2395295193","https://openalex.org/W3122057932","https://openalex.org/W3088364074","https://openalex.org/W2113798763","https://openalex.org/W2004230228","https://openalex.org/W2610227658","https://openalex.org/W2900431508"],"abstract_inverted_index":{"In":[0,83],"alternating-time":[1],"temporal":[2],"logic":[3],"ATL":[4,92,110,165,176],"*":[5,93,111,166,177],",":[6],"agents":[7,50,76,120],"with":[8,113,121,167],"perfect":[9,78,116,122,161],"recall":[10,79],"assign":[11],"choices":[12],"to":[13,18,156],"sequences":[14],"of":[15,22,44,75,80,109,127,148,164,175,185,189],"states,":[16],"i.e.,":[17],"possible":[19],"finite":[20],"histories":[21],"the":[23,33,41,55,73,81,88,95,106,114,134,137,143,157,172],"game.":[24],"However,":[25],"when":[26],"a":[27],"nested":[28,56,101],"strategic":[29],"modality":[30],"is":[31,47,97],"interpreted,":[32],"new":[34],"strategy":[35],"does":[36,70],"not":[37,71,98],"take":[38],"into":[39],"account":[40],"previous":[42],"sequence":[43],"events.":[45],"It":[46],"as":[48],"if":[49],"collect":[51],"their":[52,181],"observations":[53],"in":[54,100,125],"game":[57],"again":[58],"from":[59],"scratch,":[60],"thus,":[61],"effectively":[62],"forgetting":[63],"what":[64],"they":[65],"observed":[66],"before.":[67],"Intuitively,":[68],"it":[69],"fit":[72],"assumption":[74],"having":[77],"past.":[82],"this":[84],"article,":[85],"we":[86],"investigate":[87],"alternative":[89],"semantics":[90,108,118,139,163],"for":[91,119,142],"where":[94],"past":[96],"forgotten":[99],"games.":[102],"We":[103,170],"show":[104],"that":[105],"standard":[107,158],"coincides":[112],"\u201ctruly":[115,160],"recall\u201d":[117,162],"information":[123],"and":[124,187],"case":[126],"so-called":[128],"\u201cobjective\u201d":[129],"abilities":[130],"under":[131,150],"uncertainty.":[132],"On":[133],"other":[135],"hand,":[136],"two":[138],"differ":[140],"significantly":[141],"most":[144],"popular":[145],"(\u201csubjective\u201d)":[146],"notion":[147],"ability":[149],"imperfect":[151],"information.":[152],"The":[153],"same":[154],"applies":[155],"vs.":[159],"persistent":[168],"strategies.":[169],"compare":[171],"relevant":[173],"variants":[174],"by":[178],"looking":[179],"at":[180],"expressive":[182],"power,":[183],"sets":[184],"validities,":[186],"tractability":[188],"model":[190],"checking.":[191]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2019-03-22T00:00:00"}