{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:04:22Z","timestamp":1784203462083,"version":"3.55.0"},"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":[[2026,7]]},"abstract":"<jats:p>We consider a particular subclass of normal programs that we call simple guess-and-check (SGC) programs. SGC programs consist of guess rules (i.e. rules without positive body atoms) and arbitrary constraints. Many simple combinatorial problems such as graph coloring can be encoded via SGC programs. Moreover, constraint-free SGC programs are known to have a close relation to abstract argumentation frameworks. Our main result shows that for SGC programs the notions of strong and uniform equivalence coincide (in contrast to general normal programs), but do not amount to classical equivalence (as is the case of positive programs). Moreover, we study the characteristics of SE-models for SGC programs; this allows to check whether an arbitrary program (part) can be equivalently formulated within the simpler class of SGC programs. Finally, we briefly discuss our results in relation to other classes of programs.<\/jats:p>","DOI":"10.24963\/kr.2026\/27","type":"proceedings-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:15:53Z","timestamp":1784200553000},"page":"289-293","source":"Crossref","is-referenced-by-count":0,"title":["Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again"],"prefix":"10.24963","author":[{"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[{"name":"TU Wien"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zeynep G.","family":"Saribatur","sequence":"additional","affiliation":[{"name":"TU Wien"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"TU Wien"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"23nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2026}","theme":"Artificial Intelligence","location":"Lisbon, Portuagal","acronym":"KR-2026","number":"23","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","European Association for Artificial Intelligence"],"start":{"date-parts":[[2026,7,20]]},"end":{"date-parts":[[2026,7,18]]}},"container-title":["Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:16:02Z","timestamp":1784200562000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2026\/27"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2026\/27","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]}}}