Searching for "Encoding the Satisfiability of Modal and Description Logics into SAT The Case Study of K(m)/ALC." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
by Roberto Sebastiani, Michele Vescovi, Roberto Sebastiani, Michele Vescovi — 2006
… LOGICS INTO SAT: THE CASE STUDY OF K(M)/ALC Roberto Sebastiani and Michele Vescovi May 2006 Technical…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB