DMCA

Exploiting SAT and SMT techniques for automated reasoning and ontology manipulation in description logics (2011)

by Michele Vescovi , Prof Roberto Sebastiani
Citations:2 - 0 self