1729 search results - page 19 / 346 » Simplifying the Development of Intelligent Agents |
AAMAS
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
HAIS
2008
Springer
13 years 9 months ago
2008
Springer
Design patterns have been recently concerned in the multi-agent community for the design of systems with decentralized coordination. In this paper we present a design pattern for d...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
AAAI
2007
13 years 11 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
AAAI
2000
13 years 10 months ago
2000
Many artists are intrigued by the creative possibilities presented to them by virtual worlds populated with autonomous agents. Artists wishing to explore these possibilities face ...