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. AAMAS 2012: 1443-1444