913 search results - page 33 / 183 » Formal Agent Development: Framework to System |
165
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
156
click to vote
WOA
2003
15 years 5 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
103
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
139
click to vote
COMPSEC
2004
15 years 4 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
130
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
s LEXSYS, (Legume Expert System) was a project conceived at IITA (International Institute of Tropical Agriculture) Ibadan Nigeria. It was initiated by the COMBS (Collaborative Grou...