introduction.tex 444 Bytes
 Michael Banken committed Oct 16, 2017 1 \chapter{Introduction}  Michael Banken committed Jun 14, 2018 2 3  \section{Motivation}  Michael Banken committed Jun 18, 2018 4 5 6 7 8 9 10 11 12 13 14 15 Knowledge is complex and so is its representation. \begin{figure}[!htb] \centering \includegraphics[width=\textwidth/2]{placeholder} \caption{Picture of a theory graph using TGView\cite{rupprecht2017flexible}} \label{fig:tgview} \end{figure} To help reduce unnecessary complexity of these theory graphs, I introduce styler, a semi-automated tool for optimizing theory inclusions. \section{Goal}  Michael Banken committed Jun 14, 2018 16