{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:08:18Z","timestamp":1766066898004},"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":[[2018,7]]},"abstract":"<jats:p>Belief base revision has been studied within the answer set programming framework. We go a step further by introducing uncertainty and studying belief base revision when beliefs are represented by possibilistic logic programs under possibilistic answer set semantics and revised by certain input. The paper proposes two approaches of rule-based revision operators and presents their semantic characterization in terms of possibilistic distribution. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/252","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:49:10Z","timestamp":1530769750000},"page":"1824-1830","source":"Crossref","is-referenced-by-count":1,"title":["Possibilistic ASP Base Revision by Certain Input"],"prefix":"10.24963","author":[{"given":"Laurent","family":"Garcia","sequence":"first","affiliation":[{"name":"LERIA, Universit\u00e9 d\u2019Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Lef\u00e8vre","sequence":"additional","affiliation":[{"name":"LERIA, Universit\u00e9 d\u2019Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[{"name":"Aix Marseille Univ, Universit\u00e9 de Toulon, CNRS, LIS, Marseille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[{"name":"LERIA, Universit\u00e9 d\u2019Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"W\u00fcrbel","sequence":"additional","affiliation":[{"name":"Aix Marseille Univ, Universit\u00e9 de Toulon, CNRS, LIS, Marseille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:51:17Z","timestamp":1530769877000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/252"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/252","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}