54 search results - page 1 / 11 » Symbolic Negotiation with Linear Logic |
IAT
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
CLIMA
2004
13 years 6 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
DALT
2004
Springer
13 years 10 months ago
2004
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
AMAST
1997
Springer
13 years 9 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...