{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:47:38Z","timestamp":1762102058285},"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":[[2017,8]]},"abstract":"<jats:p>This paper presents a novel algorithm for computing world views of different semantics of epistemic logic  programs (ELP) and two of its realization, called Ep-asp (for an older semantics) and Ep-asp^{se}  (for the newest semantics), whose implementation builds on the theoretical advancement in the study of ELPs and takes advantage of the multi-shot computation paradigm of the answer set solver Clingo. The new algorithm differs from the majority of earlier algorithms in its strategy. Specifically, it computes one world view at a time and utilizes properties of world views to reduce its search space. It starts by computing an answer set and then determines whether or not a world view containing this answer set exists. In addition, it allows for the computation to focus on world views satisfying certain properties. The paper includes an experimental analysis of the performance of the two solvers comparing against  a recently developed solver. It also contains an analysis of their performance in goal directed computing against a logic programming based conformant planning system,   dlv-k. It concludes with some final remarks and discussion on the future work.<\/jats:p>","DOI":"10.24963\/ijcai.2017\/176","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T09:14:07Z","timestamp":1501233247000},"page":"1269-1275","source":"Crossref","is-referenced-by-count":5,"title":["On Computing World Views of Epistemic Logic Programs"],"prefix":"10.24963","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[{"name":"Department of Computer Science, New Mexico State University, Las Cruces, NM 88003, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiep","family":"Le","sequence":"additional","affiliation":[{"name":"Department of Computer Science, New Mexico State University, Las Cruces, NM 88003, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Kahl","sequence":"additional","affiliation":[{"name":"SPAWAR Atlantic, North Charleston, SC 29410, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Leclerc","sequence":"additional","affiliation":[{"name":"SPAWAR Atlantic, North Charleston, SC 29410, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"26","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)","University of Technology Sydney (UTS)","Australian Computer Society (ACS)"],"acronym":"IJCAI-2017","name":"Twenty-Sixth International Joint Conference on Artificial Intelligence","start":{"date-parts":[[2017,8,19]]},"theme":"Artificial Intelligence","location":"Melbourne, Australia","end":{"date-parts":[[2017,8,26]]}},"container-title":["Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T11:52:37Z","timestamp":1501242757000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2017\/176"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2017\/176","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}