On compositional reasoning about anonymity and privacy in epistemic logic Yasuyuki TsukadaHideki SakuradaYoshifumi Manabe OriginalPaper 04 July 2016 Pages: 101 - 129
Fast strong planning for fully observable nondeterministic planning problems Jicheng FuAndres Calderon JaramilloI-Ling Yen OriginalPaper 09 July 2016 Pages: 131 - 155
Refining complexity analyses in planning by exploiting the exponential time hypothesis Meysam AghighiChrister BäckströmSimon Ståhlberg OriginalPaper Open access 29 July 2016 Pages: 157 - 175