Type: Conference or Workshop Item (Paper)
Temporal Linear Logic for Symbolic Agent Negotiation.
In: 8th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2004, 9-13 August, 2004, Auckland, New Zealand.
Full text not available from this archive.
In this paper we present an application of temporal linear logic (TLL) to symbolic agent negotiation and reasoning. While linear logic gives us control over resources and agent capabilities during negotiation, TLL allows considering time issues as well. That allows us to construct more expressive offers, which would not be possible in linear logic only.
Archive Staff Only: edit this record