ECAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
ATAL
2004
Springer
13 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...