Ausgabe 2/2016
Inhalt (3 Artikel)
On compositional reasoning about anonymity and privacy in epistemic logic
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
Fast strong planning for fully observable nondeterministic planning problems
Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen
Open Access
Refining complexity analyses in planning by exploiting the exponential time hypothesis
Meysam Aghighi, Christer Bäckström, Peter Jonsson, Simon Ståhlberg