2 search results - page 1 / 1 » Blocking Automata for PSPACE DLs |
DLOG
2007
14 years 1 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
IANDC
2008
13 years 11 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...