ML Anthology

Vescovi, Michele

1 publications

JAIR 2009 Automated Reasoning in Modal and Description Logics via SAT Encoding: The Case Study of K(m)/ALC-Satisfiability Roberto Sebastiani, Michele Vescovi