Sciweavers

5198 search results - page 132 / 1040
» A Logic of Agent Programs
Sort
View
105
Voted
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 3 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
CLIMA
2009
14 years 9 months ago
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Mehdi Dastani, Bas R. Steunebrink
LADS
2007
Springer
15 years 5 months ago
Goal Selection Strategies for Rational Agents
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
DAGSTUHL
2007
15 years 1 months ago
A logical formalism for the subjective approach in a multi-agent setting
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
Guillaume Aucher
WETICE
1998
IEEE
15 years 3 months ago
Interactive Mobile Agents in X-Klaim
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese...