Pere Pardo, Mehrnoosh Sadrzadeh. Strong Planning in the Logics of Communication and Change. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Volume 7784 of Lecture Notes in Computer Science, pages 37-56, Springer, 2012. [doi]
Abstract is missing.