220 search results - page 2 / 44 » Logic-Based Agent Verification |
INFSOF
1998
13 years 4 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
WWW
2001
ACM
14 years 5 months ago
2001
ACM
AAAI
2006
13 years 6 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...