{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:38:30Z","timestamp":1723016310288},"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>This work tackles the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. We call this property projective strong equivalence (PSE). It has been recently proved that not any logic program containing auxiliary atoms can be reformulated, under PSE, as another logic program or formula without them  -- this is known as strongly persistent forgetting. In this paper, we introduce a conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There, in which we deal with a new connective we call fork. We provide a semantic characterisation of PSE for forks and use it to show that, in this extension, it is always possible to forget auxiliary atoms under strong persistence. We further define when the obtained fork is representable as a regular formula.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/696","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T08:12:10Z","timestamp":1594195930000},"page":"5005-5009","source":"Crossref","is-referenced-by-count":0,"title":["Forgetting Auxiliary Atoms in Forks (Extended Abstract)"],"prefix":"10.24963","author":[{"given":"Felicidad","family":"Aguado","sequence":"first","affiliation":[{"name":"University of Corunna, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Cabalar","sequence":"additional","affiliation":[{"name":"University of Corunna, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Fandinno","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pearce","sequence":"additional","affiliation":[{"name":"Universidad Politecnica de Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilberto","family":"P\u00e9rez","sequence":"additional","affiliation":[{"name":"University of Corunna, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Concepci\u00f3n","family":"Vidal","sequence":"additional","affiliation":[{"name":"University of Corunna, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-PRICAI-2020","name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","start":{"date-parts":[[2020,7,11]]},"theme":"Artificial Intelligence","location":"Yokohama, Japan","end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T22:16:43Z","timestamp":1594246603000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/696"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/696","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}