{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:50:53Z","timestamp":1762102253074},"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>We study pseudo-Boolean constraints (PBC) and\n\ntheir special case cardinality constraints (CARD)\n\nfrom the perspective of knowledge representation.\n\nTo this end, the succinctness of PBC and CARD\n\nis compared to that of many standard propositional\n\nlanguages. Moreover, we determine which queries\n\nand transformations are feasible in polynomial time\n\nwhen knowledge is represented by PBC or CARD,\n\nand which are not (unconditionally or unless P =\n\nNP). In particular, the advantages and disadvantages\n\ncompared to CNF are discussed.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/261","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:49:10Z","timestamp":1530755350000},"page":"1891-1897","source":"Crossref","is-referenced-by-count":4,"title":["Pseudo-Boolean Constraints from a Knowledge Representation Perspective"],"prefix":"10.24963","author":[{"given":"Daniel","family":"Le Berre","sequence":"first","affiliation":[{"name":"CRIL-CNRS UMR 8188, Lens, France"},{"name":"Universit\u00e9 d'Artois"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[{"name":"CRIL-CNRS UMR 8188, Lens, France"},{"name":"Universit\u00e9 d'Artois"},{"name":"Institut Universitaire de France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mengel","sequence":"additional","affiliation":[{"name":"CRIL-CNRS UMR 8188, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Wallon","sequence":"additional","affiliation":[{"name":"CRIL-CNRS UMR 8188, Lens, France"},{"name":"Universit\u00e9 d'Artois"}],"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-05T01:51:20Z","timestamp":1530755480000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/261"}},"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\/261","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}