1. On compositional reasoning about anonymity and privacy in epistemic logic

   • Yasuyuki Tsukada
   • Hideki Sakurada
   • Yoshifumi Manabe

   OriginalPaper 04 July 2016 Pages: 101 - 129

2. Fast strong planning for fully observable nondeterministic planning problems

   • Jicheng Fu
   • Andres Calderon Jaramillo
   • I-Ling Yen

   OriginalPaper 09 July 2016 Pages: 131 - 155

3. Refining complexity analyses in planning by exploiting the exponential time hypothesis

   • Meysam Aghighi
   • Christer Bäckström
   • Simon Ståhlberg

   OriginalPaper Open access 29 July 2016 Pages: 157 - 175