292 search results - page 23 / 59 » A Formal Architecture for the 3APL Agent Programming Languag... |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
ATAL
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
COOPIS
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
SOCASE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...