An Overview of Tableau Algorithms for Description Logics

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/sLogica/BaaderS01, 

 author    = {Franz Baader and
              Ulrike Sattler},
 title     = {An Overview of Tableau Algorithms for Description Logics},
 journal   = {Studia Logica},
 volume    = {69},
 number    = {1},
 year      = {2001},
 pages     = {5-40},
 bibsource = {DBLP, http://dblp.uni-trier.de},
 url = {http://lat.inf.tu-dresden.de/research/papers/2001/BaaderSattler-StudiaLogica.ps.gz},
 slides = {http://lat.inf.tu-dresden.de/~baader/Talks/Tableaux2000.pdf }

} \end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/An_Overview_of_Tableau_Algorithms_for_Description_Logics"
Personal tools