Agent deliberation via forward and backward chaining in linear logic.

Luke Trodd, James Harland, John Thangarajah

Browse the full AAMAS paper archive.