Temporal Linear Logic for Symbolic Agent Negotiation.

Peep Kngas

Browse the full PRICAI paper archive.