16 search results - page 4 / 4 » Tableau Caching for Description Logics with Inverse and Tran... |
IANDC
2008
13 years 4 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...