{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T19:08:25Z","timestamp":1747768105465,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"abstract":"<jats:p>In the last two decades, modal and description logics have provided a theoretical framework for important applications in many areas of computer science. For this reason, the problem of automated reasoning in modal and description logics has been thoroughly investigated. In this chapter we show how efficient Boolean reasoning techniques have been imported, used and integrated into reasoning tools for modal and description logics. To this extent, we focus on modal logics, and in particular mainly on K(m).<\/jats:p>","DOI":"10.3233\/978-1-58603-929-5-781","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:21:00Z","timestamp":1740133260000},"source":"Crossref","is-referenced-by-count":2,"title":["SAT Techniques for Modal and Description Logics"],"prefix":"10.3233","author":[{"family":"Sebastiani Roberto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tacchella Armando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Handbook of Satisfiability"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:14:17Z","timestamp":1740136457000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=185&spage=781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-58603-929-5-781","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2009]]}}}