FAABS
2000
Springer
14 years 2 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 2 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 2 months ago
2000
Springer
FAABS
2000
Springer
14 years 2 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 2 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 2 months ago
2000
Springer
FAABS
2000
Springer
14 years 2 months ago
2000
Springer
FAABS
2000
Springer
14 years 2 months ago
2000
Springer
ESAW
2000
Springer
14 years 2 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
ESAW
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...