Planning is a method where we try to fulfil a certain goal or goal task by finding a sequence of actions called plan. Hierarchical Task Networks is a method of planning that decomposes tasks to subtasks until we get primitive ...

This doctoral thesis focuses on synthetic geometry in various dimensions. We start with plane geometry to show how synthetic geometry can be used in proofs. We demonstrate the advantages of synthetic geometry on two different ...