502 search results - page 7 / 101 » Development and Application of a Formal Agent Framework |
ATAL
2008
Springer
14 years 11 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...
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
The Behavior Action Simulation Platform (BASP) has been in existence since early 2000, when it was first applied to small-team reconnaissance scenarios for the United States Marin...
JCIT
2007
14 years 9 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
In the multi-agent scenario, interaction among agents is an issue that must be faced in an appropriate way. Modeling interactions by roles can simplify the development of the inter...