\part{Logikbasiete Wissensrepräsentation und Inferenz}

\input{chapters/Logik/Einführung.tex}
\input{chapters/Logik/Formen der Inferenz.tex}