SAT Techniques for Modal and Description Logics
Sebastiani Roberto, Armando Tacchella · Frontiers in artificial intelligence and applications · 2009
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).