Last ecai paper modifications
Merge branch 'writing_the_ECAI2014_paper' of https://github.com/mabdula/planning into writing_the_ECAI2014_paper