Checking DL-Lite Modularity with QBF Solvers

From Tetherless World Wiki

Jump to: navigation, search
 Checking DL-Lite Modularity with QBF Solvers
Has publishing details  , 2008
Has title  Checking DL-Lite Modularity with QBF Solvers
Has where published  Description Logics
Has year  2008
Has author  Roman Kontchakov +, V. Ryzhikov +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:conf/dlog/KontchakovRWZ08 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools