4290 search results - page 131 / 858 » Formal Approaches to Teamwork |
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Knowledge transfer between expert and novice agents is a challenging problem given that the knowledge representation and learning algorithms used by the novice learner can be fund...
178
click to vote
AAAI
1997
15 years 8 months ago
1997
1 We have constructed a team of intelligent agents that perform the tasks of an attack helicopter company for a synthetic battlefield environment used for running largescale milita...
200
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
175
click to vote
AAMAS
2004
Springer
15 years 6 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...
177
click to vote
POLICY
2004
Springer
15 years 12 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...