Temporal Linear Logic for Symbolic Agent Negotiation

Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Conference or Workshop Item (Paper)

Küngas, Peep (2004) 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.

Deposited by Mr Peep Küngas on 14 March 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.