DMCA

Automated reasoning in modal and description logics via SAT encoding: the case study of k(m)/alc-satisfiability. (2009)

by Roberto Sebastiani , Michele Vescovi
Venue:J. Artif. Intell. Res. (JAIR)
Citations:6 - 2 self