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

\section{Motivation}
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's avatar
Michael Banken committed
16