An Overview of Tableau Algorithms for Description Logics

Has publishing details 69(1):5-40, 2001

Has slides http://lat.inf.tu-dresden.de/~baader/Talks/Tableaux2000.pdf

Has title An Overview of Tableau Algorithms for Description Logics

Has url http://lat.inf.tu-dresden.de/research/papers/2001/BaaderSattler-StudiaLogica.ps.gz

Has where published Studia Logica

Has year 2001

Has author Franz Baader +, Ulrike Sattler +

Has identifier An Overview of Tableau Algorithms for Description Logics +

Categories Journal Paper +