{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:31:04Z","timestamp":1750311064302},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643685434","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:00:00Z","timestamp":1727222400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,9,25]]},"abstract":"<jats:p>We define a tableau calculus for solving the Minimum Satisfiability problem for regular propositional logic, also known as Non-Clausal Regular MinSAT problem. Given a multiset of hard and weighted regular formulas \u03a6, the tableau calculus allows to find an assignment that satisfies the hard formulas and minimizes the sum of weights of the satisfied weighted regular formulas.<\/jats:p>","DOI":"10.3233\/faia240449","type":"book-chapter","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T09:48:43Z","timestamp":1727689723000},"source":"Crossref","is-referenced-by-count":1,"title":["A Complete Tableau Calculus for Non-Clausal Regular MinSAT"],"prefix":"10.3233","author":[{"given":"Jordi","family":"Coll","sequence":"first","affiliation":[{"name":"Universitat de Girona, Girona, Spain"}]},{"given":"Chu-Min","family":"Li","sequence":"additional","affiliation":[{"name":"MIS, Universit\u00e9 de Picardie, Amiens, France"}]},{"given":"Felip","family":"Many\u00e0","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA), CSIC, Bellaterra, Spain"}]},{"given":"Elifnaz","family":"Yangin","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute (IIIA), CSIC, Bellaterra, Spain"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Artificial Intelligence Research and Development"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA240449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T09:48:43Z","timestamp":1727689723000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA240449"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,25]]},"ISBN":["9781643685434"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia240449","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,25]]}}}