460 search results - page 9 / 92 » Abstraction in model checking multi-agent systems |
AMAST
2004
Springer
14 years 29 days ago
2004
Springer
APSEC
2002
IEEE
14 years 15 days ago
2002
IEEE
FSTTCS
1999
Springer
13 years 11 months ago
1999
Springer
DALT
2004
Springer
13 years 11 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
13 years 7 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 ...