Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

introduction.tex 448 Bytes
 Michael Banken committed Oct 16, 2017 1 \chapter{Introduction}  Michael Banken committed Jun 14, 2018 2 3  \section{Motivation}  Michael Banken committed Jun 25, 2018 4 Knowledge is complicated and so is its representation.  Michael Banken committed Jun 18, 2018 5 6 7 8 9 10 11 12 13 14 15  \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