From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 12 Nov 2014 11:13:58 +0000 (+0100)
Subject: c
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=90e4779e946de9148214b9c753419b71784c8bd1;p=ker1415-1.git

c
---

diff --git a/report/report.out b/report/report.out
new file mode 100644
index 0000000..7a7ad16
--- /dev/null
+++ b/report/report.out
@@ -0,0 +1,19 @@
+\BOOKMARK [1][-]{section.1}{Assignment 1-1}{}
+\BOOKMARK [2][-]{subsection.1.1}{Part 1: Modelling Sokoban}{section.1}
+\BOOKMARK [3][-]{subsubsection.1.1.1}{Task 1: Knowledge base}{subsection.1.1}
+\BOOKMARK [3][-]{subsubsection.1.1.2}{Task 2: Actions}{subsection.1.1}
+\BOOKMARK [2][-]{subsection.1.2}{Part 2: Implementation}{section.1}
+\BOOKMARK [3][-]{subsubsection.1.2.1}{Task 3: Translate Axioms}{subsection.1.2}
+\BOOKMARK [3][-]{subsubsection.1.2.2}{Task 4: The Planning Problem in Figure 1}{subsection.1.2}
+\BOOKMARK [3][-]{subsubsection.1.2.3}{Task 5: Crates go to Any Goal Location}{subsection.1.2}
+\BOOKMARK [3][-]{subsubsection.1.2.4}{Task 6: Inverse Problem}{subsection.1.2}
+\BOOKMARK [2][-]{subsection.1.3}{Part 3: Extending the domain}{section.1}
+\BOOKMARK [3][-]{subsubsection.1.3.1}{Task 7: Unlocking the Crates}{subsection.1.3}
+\BOOKMARK [2][-]{subsection.1.4}{Part 4: General questions}{section.1}
+\BOOKMARK [3][-]{subsubsection.1.4.1}{Task 10: Sitcalc expressivity}{subsection.1.4}
+\BOOKMARK [3][-]{subsubsection.1.4.2}{Task 11: Related work}{subsection.1.4}
+\BOOKMARK [1][-]{section.2}{Assignment 1-2}{}
+\BOOKMARK [2][-]{subsection.2.1}{Implementation of the hitting-set algorithm}{section.2}
+\BOOKMARK [3][-]{subsubsection.2.1.1}{Task 12: Generate conflict}{subsection.2.1}
+\BOOKMARK [3][-]{subsubsection.2.1.2}{Task 13: Define your data structure}{subsection.2.1}
+\BOOKMARK [3][-]{subsubsection.2.1.3}{Task 14: Implementation}{subsection.2.1}
diff --git a/report/report.tex b/report/report.tex
index de50b2a..4515d75 100644
--- a/report/report.tex
+++ b/report/report.tex
@@ -7,8 +7,9 @@
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage{minted}
+\usepackage{hyperref}
 
-\author{ Caspar Safarlou\and Mart Lubbers }
+\author{Caspar Safarlou\and Mart Lubbers}
 \title{Knowledge Representation and Reasoning.\\Assignment 1}
 \date{\today}
 
@@ -40,7 +41,6 @@
 \begin{document}
 \maketitle
 \tableofcontents
-\newpage
 
 \section{Assignment 1-1}
 \input{ass1.tex}
@@ -48,6 +48,4 @@
 \section{Assignment 1-2}
 \input{ass2.tex}
 
-\section{Appendix}
-
 \end{document}