{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:12:58Z","timestamp":1725617578173},"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":[[2019,8]]},"abstract":"<jats:p>Intuitionistic Propositional Logic  is complete w.r.t. Kripke semantics: if a formula is not intuitionistically  valid, then there exists a finite Kripke model falsifying it. The problem of obtaining concise models  has been scarcely investigated in the literature. We present a procedure to generate minimal models in the number of worlds relying  on  Answer Set Programming (ASP).<\/jats:p>","DOI":"10.24963\/ijcai.2019\/232","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:46:05Z","timestamp":1564285565000},"page":"1675-1681","source":"Crossref","is-referenced-by-count":4,"title":["An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic"],"prefix":"10.24963","author":[{"given":"Camillo","family":"Fiorentini","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Milan, Italy"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:47:44Z","timestamp":1564285664000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/232"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/232","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}