Luke Trodd, James Harland, John Thangarajah. Agent deliberation via forward and backward chaining in linear logic. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 1443-1444, IFAAMAS, 2012. [doi]
Abstract is missing.