{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T04:06:49Z","timestamp":1758946009569},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (ATL) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LTL, then apply these to finding \u201cfailure\u201d states, where the ATL specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure, thus providing a sound, albeit incomplete, verification procedure.<\/jats:p>","DOI":"10.24963\/kr.2020\/10","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"89-98","source":"Crossref","is-referenced-by-count":5,"title":["A Three-valued Approach to Strategic Abilities under Imperfect Information"],"prefix":"10.24963","author":[{"given":"Francesco","family":"Belardinelli","sequence":"first","affiliation":[{"name":"Imperial College London, United Kingdom"},{"name":"Laboratoire IBISC, Universit\u00e9 d\u2019Evry, France"}]},{"given":"Vadim","family":"Malvone","sequence":"additional","affiliation":[{"name":"Laboratoire IBISC, Universit\u00e9 d\u2019Evry, France"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:30Z","timestamp":1604611110000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/10"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/10","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}