![]() | Up a level |
Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)
Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. UNSPECIFIED. (Unpublished)
Sebastiani, Roberto and Vescovi, Michele (2006) Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC. UNSPECIFIED. (Submitted)