460 search results - page 9 / 92 » Abstraction in model checking multi-agent systems |
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
45
Voted
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
FSTTCS
1999
Springer
15 years 1 months ago
1999
Springer
DALT
2004
Springer
15 years 1 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
ENTCS
2002
14 years 9 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...