{"type":"ScholarlyArticle","title":"An Epistemic Halpern-Shoham Logic","authors":[{"name":"Alessio Lomuscio","slug":"alessio-lomuscio","given":"Alessio","family":"Lomuscio","affiliation":""},{"name":"Jakub Michaliszyn","slug":"jakub-michaliszyn","given":"Jakub","family":"Michaliszyn","affiliation":""}],"abstract":"We define a family of epistemic extensions of Halpern-Shoham logic for reasoning about temporal-epistemic properties of multi-agent systems. We exemplify their use and study the complexity of their model checking problem. We show a range of results ranging from PTIME to PSPACE-hard depending on the logic considered.","doi":null,"url":"https://ijcai.org/proceedings/2013/154","pdf":"https://ijcai.org/proceedings/2013/0154.pdf","markdown":"https://ijcai.org/proceedings/2013/154.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/154","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":154,"pages":{"first":1010,"last":1015},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}