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

introduction.tex 448 Bytes
Newer Older
Michael Banken's avatar
Michael Banken committed
1
\chapter{Introduction}
Michael Banken's avatar
Michael Banken committed
2 3

\section{Motivation}
Michael Banken's avatar
Michael Banken committed
4
Knowledge is complicated and so is its representation.
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's avatar
Michael Banken committed
16