\part{Logikbasiete Wissensrepräsentation und Inferenz}

\input{chapters/Logik/Einführung.tex}
\input{chapters/Logik/Formen der Inferenz.tex}
\input{chapters/Logik/Logische Systeme.tex}
\input{chapters/Logik/Aussagenlogik.tex}
\input{chapters/Logik/Beweisverfahren.tex}
\input{chapters/Logik/Prädikatenlogik.tex}