Not sure, I did some merging...
Merge branch 'writing_the_ECAI2014_paper' of https://github.com/mabdula/planning into writing_the_ECAI2014_paper