Agent deliberation via forward and backward chaining in linear logic.

Luke Trodd James Harland John Thangarajah

Published in: AAMAS (2012)

Keyphrases

forward and backward
linear logic
agent architecture
decision theoretic
multi agent systems
multi agent
dynamic programming
fixed point
logical framework
logic programming
intuitionistic logic
desirable properties
cut elimination
proof theoretic
general purpose
logic programs
multiple agents
greedy search
high level