Luke Trodd, James Harland, John Thangarajah. Agent Deliberation via Forward and Backward Chaining in Linear Logic. 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 57-75, Springer, 2012. [doi]
Abstract is missing.