AgentLink.org | European Co-ordination Action for Agent-Based Computing



Industry Action Standardisation Activity Research Action Student Integration Technical Forum Technological Roadmap


Technical Conference: ATC Summer School: EASSS Technical Forum: TFG


AgentLink Newsletter Roadmap Email Update Document Archive





Agent Curricula Agent Job Finder Agent Papers Agent Projects Agent Software << ADD RESOURCES >>


Join AgentLink Members Map People Finder


Contact AgentLink Expenses Claims FAQ Advanced Search

Temporal Linear Logic for Symbolic Agent Negotiation

Archive Home
About EPrints
Browse:
    by Subject
    by Year
    by Author

GNU EPrints

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)

Subject: 2.1.2 Models and formalisms for cooperation

Subject: 2.6.4 Semantics of multi-agent systems and logics of multi-agent systems

Subject: 2.5 Negotiation, bidding and argumentation

Member Organisation: Other (Organisation which is not an AgentLink member)

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.

Official URL: http://www.idi.ntnu.no/~peep/papers/PRICAI2004_Kungas.ps

Abstract

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