Agent Deliberation via Forward and Backward Chaining in Linear Logic.

Sun, 01 Jan 2012 00:00:00 +0100

Luke Trodd, James Harland , John Thangarajah :
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT 2012: 57-75