FAABS
2000
Springer
14 years 6 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
FAABS
2000
Springer
14 years 6 months ago
2000
Springer
FAABS
2000
Springer
14 years 6 months ago
2000
Springer