4737 search results - page 65 / 948 » The LOGIC negotiation model |
ECWEB
2011
Springer
12 years 8 months ago
2011
Springer
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
JOLLI
2008
13 years 9 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
NSPW
2004
ACM
14 years 2 months ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...