{"id":"https://openalex.org/W4385437205","doi":"https://doi.org/10.24963/kr.2023/71","title":"Strategic Abilities of Forgetful Agents in Stochastic Environments","display_name":"Strategic Abilities of Forgetful Agents in Stochastic Environments","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385437205","doi":"https://doi.org/10.24963/kr.2023/71"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2023/71","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/71","pdf_url":"https://proceedings.kr.org/2023/71/kr2023-0071-belardinelli-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2023/71/kr2023-0071-belardinelli-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055883955","display_name":"Francesco Belardinelli","orcid":"https://orcid.org/0000-0002-7768-1794"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Francesco Belardinelli","raw_affiliation_strings":["Imperial College, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"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/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"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":["LU","PL"],"is_corresponding":false,"raw_author_name":"Wojciech Jamroga","raw_affiliation_strings":["Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland","Interdisc. Centre on Security, Reliability and Trust, SnT, University of Luxembourg"],"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"]},{"raw_affiliation_string":"Interdisc. Centre on Security, Reliability and Trust, SnT, University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025155288","display_name":"Munyque Mittelmann","orcid":"https://orcid.org/0000-0002-4664-8406"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Munyque Mittelmann","raw_affiliation_strings":["University of Naples ``Federico II''"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Naples ``Federico II''","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["University of Naples ``Federico II''"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Naples ``Federico II''","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5055883955"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.497,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70562527,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"726","last_page":"731"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9962999820709229,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9932000041007996,"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/undecidable-problem","display_name":"Undecidable problem","score":0.8393912315368652},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8001606464385986},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6902669668197632},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6709911227226257},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6638720035552979},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.631939709186554},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.5969885587692261},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.526539146900177},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5021488666534424},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4867370128631592},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48567497730255127},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.43618762493133545},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4160642921924591},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41163554787635803},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3100336492061615},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.2612471878528595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2123921513557434},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20521888136863708},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11480391025543213}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8393912315368652},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8001606464385986},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6902669668197632},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6709911227226257},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6638720035552979},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.631939709186554},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.5969885587692261},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.526539146900177},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5021488666534424},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4867370128631592},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48567497730255127},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.43618762493133545},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4160642921924591},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41163554787635803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3100336492061615},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.2612471878528595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2123921513557434},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20521888136863708},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11480391025543213},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2023/71","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/71","pdf_url":"https://proceedings.kr.org/2023/71/kr2023-0071-belardinelli-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05448168v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05448168","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, Sep 2023, Rhodes, France. pp.726-731, ⟨10.24963/kr.2023/71⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.24963/kr.2023/71","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/71","pdf_url":"https://proceedings.kr.org/2023/71/kr2023-0071-belardinelli-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3827193553","display_name":null,"funder_award_id":"952215","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335039","display_name":"Narodowe Centrum Bada\u0144 i Rozwoju","ror":"https://ror.org/05pwfyy15"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4385437205.pdf"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W65260526","https://openalex.org/W81064115","https://openalex.org/W142385736","https://openalex.org/W148235500","https://openalex.org/W852087202","https://openalex.org/W1523326839","https://openalex.org/W1590347737","https://openalex.org/W1778174682","https://openalex.org/W1781824054","https://openalex.org/W1966063923","https://openalex.org/W1978108972","https://openalex.org/W1999134680","https://openalex.org/W2005998857","https://openalex.org/W2015907520","https://openalex.org/W2020273103","https://openalex.org/W2092870022","https://openalex.org/W2092977061","https://openalex.org/W2105631453","https://openalex.org/W2113798763","https://openalex.org/W2124110813","https://openalex.org/W2138707849","https://openalex.org/W2159652932","https://openalex.org/W2166857474","https://openalex.org/W2215757563","https://openalex.org/W2271558670","https://openalex.org/W2508573783","https://openalex.org/W2754427045","https://openalex.org/W2808202188","https://openalex.org/W2912640545","https://openalex.org/W2952842534","https://openalex.org/W2962946825","https://openalex.org/W2963491869","https://openalex.org/W2963566691","https://openalex.org/W2965332339","https://openalex.org/W3004485666","https://openalex.org/W3024446676","https://openalex.org/W3037225217","https://openalex.org/W3112127587","https://openalex.org/W3114036346","https://openalex.org/W3119811314","https://openalex.org/W3186762629","https://openalex.org/W3205048609","https://openalex.org/W3207400398","https://openalex.org/W4210411973","https://openalex.org/W4226071807","https://openalex.org/W4283783522","https://openalex.org/W4285605691","https://openalex.org/W4289855885","https://openalex.org/W4295150899","https://openalex.org/W4382202899","https://openalex.org/W6631366396","https://openalex.org/W6635079107","https://openalex.org/W6637896266","https://openalex.org/W6650261889","https://openalex.org/W6651994136","https://openalex.org/W6658842655","https://openalex.org/W6676054085","https://openalex.org/W6676730656","https://openalex.org/W6681522261","https://openalex.org/W6684644128","https://openalex.org/W6742566819","https://openalex.org/W6758389881","https://openalex.org/W6758960577","https://openalex.org/W6766838770","https://openalex.org/W6810016165","https://openalex.org/W6810106497","https://openalex.org/W6835940234","https://openalex.org/W6840415622","https://openalex.org/W6854522350"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2170336571","https://openalex.org/W4301253215","https://openalex.org/W2952103817","https://openalex.org/W2494046766"],"abstract_inverted_index":{"In":[0],"this":[1,92,134],"paper,":[2],"we":[3,19,94],"investigate":[4],"the":[5,9,28,32,41,44,63,69,72,83,108,117,124,131],"probabilistic":[6],"variants":[7],"of":[8,43,60,74,116,126,133],"strategy":[10],"logics":[11,45],"ATL":[12],"and":[13,23,31,71,120],"ATL*":[14],"under":[15],"imperfect":[16,54],"information.":[17],"Specifically,":[18],"present":[20],"novel":[21],"decidability":[22],"complexity":[24],"results":[25],"when":[26],"both":[27],"model":[29,84],"transitions":[30,75],"strategies":[33],"played":[34],"by":[35],"agents":[36,66,99,112],"are":[37,46],"stochastic.":[38],"That":[39],"is,":[40],"semantics":[42],"based":[47],"on":[48,68],"multi-agent,":[49],"stochastic":[50],"transition":[51],"systems":[52],"with":[53,100,136],"information,":[55],"which":[56,111],"combine":[57],"two":[58],"sources":[59],"uncertainty,":[61],"namely,":[62],"partial":[64],"observability":[65],"have":[67,113],"environment,":[70],"likelihood":[73],"to":[76,98],"occur":[77],"from":[78],"a":[79],"system":[80],"state.":[81],"Since":[82],"checking":[85],"problem":[86],"is":[87],"undecidable":[88],"in":[89,91,110],"general":[90],"setting,":[93],"restrict":[95],"our":[96],"attention":[97],"memoryless":[101],"(positional)":[102],"strategies.":[103],"The":[104],"resulting":[105],"setting":[106,135],"captures":[107],"situation":[109],"qualitative":[114],"uncertainty":[115,122],"local":[118],"state":[119],"quantitative":[121],"about":[123],"occurrence":[125],"future":[127],"events.":[128],"We":[129],"illustrate":[130],"usefulness":[132],"meaningful":[137],"examples.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}