Modeling Agents' Choices in Temporal Linear Logic.

Duc Quang Pham James Harland Michael Winikoff

Published in: DALT (2007)

Keyphrases

linear logic
multi agent
multi agent systems
logical framework
intelligent agents
multiple agents
multiagent systems
temporal aspects
autonomous agents
software agents
fixed point
design choices
graphical models
temporal reasoning
cut elimination