Complexity results and practical algorithms for logics in Knowledge Representation

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @PHDTHESIS{tobies2001,

 AUTHOR =       {Stephan Tobies},
 TITLE =        {Complexity results and practical algorithms for logics in Knowledge Representation},
 SCHOOL =       {LuFG Theoretical Computer Science, RWTH-Aachen, Germany},
 YEAR =         {2001},
 type =         {PhD Thesis},
 pdf = {http://lat.inf.tu-dresden.de/research/phd/Tobies-PhD-2001.pdf}

} \end{bibtex}

Personal tools