Now showing items 1-1 of 1

    • Automata Can Show PSPACE Results for Description Logics 

      Baader, F; Hladik, J; Penaloza, R (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 problems such as satisfiability of concepts. Whereas ...