292 search results - page 50 / 59 » Model-checking agent refinement |
IJCAI
2003
13 years 8 months ago
2003
In this paper we describe an integrated multilevel learning approach to multiagent coalition formation in a real-time environment. In our domain, agents negotiate to form teams to...
AAAI
2007
13 years 9 months ago
2007
Many intelligent tutoring systems (ITSs) have been developed, deployed, assessed, and proven to facilitate learning. However, most of these systems do not generally adapt to new c...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
SOFSEM
2004
Springer
14 years 22 days ago
2004
Springer
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...