{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T13:30:17Z","timestamp":1782653417917,"version":"3.54.5"},"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":[[2023,8]]},"abstract":"<jats:p>We propose bounded fitting as a scheme for learning\n\ndescription logic concepts in the presence of ontologies. A main\n\nadvantage is that the resulting learning algorithms come with\n\ntheoretical guarantees regarding their generalization to unseen\n\nexamples in the sense of PAC learning. We prove that, in contrast,\n\nseveral other natural learning algorithms fail to provide such\n\nguarantees. As a further contribution, we present the system SPELL\n\nwhich efficiently implements bounded fitting for the description\n\nlogic ELHr based on a SAT solver, and compare its performance to a\n\nstate-of-the-art learner.<\/jats:p>","DOI":"10.24963\/ijcai.2023\/373","type":"proceedings-article","created":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:31:30Z","timestamp":1691742690000},"page":"3347-3355","source":"Crossref","is-referenced-by-count":4,"title":["SAT-Based PAC Learning of Description Logic Concepts"],"prefix":"10.24963","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[{"name":"ILLC, University of Amsterdam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maurice","family":"Funk","sequence":"additional","affiliation":[{"name":"Leipzig University"},{"name":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean Christoph","family":"Jung","sequence":"additional","affiliation":[{"name":"TU Dortmund University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[{"name":"Leipzig University"},{"name":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}","theme":"Artificial Intelligence","location":"Macau, SAR China","acronym":"IJCAI-2023","number":"32","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2023,8,19]]},"end":{"date-parts":[[2023,8,25]]}},"container-title":["Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:47:15Z","timestamp":1691743635000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2023\/373"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2023\/373","relation":{},"subject":[],"published":{"date-parts":[[2023,8]]}}}