Sciweavers

ECAI
2006
Springer
14 years 1 months ago
Programming Agents with Emotions
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...
Mehdi Dastani, John-Jules Ch. Meyer
ATAL
2004
Springer
14 years 1 months ago
State-Space Reduction Techniques in Agent Verification
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 ...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
ATAL
2005
Springer
14 years 3 months ago
Towards an agent oriented programming language with caste and scenario mechanisms
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...
Ji Wang, Rui Shen, Hong Zhu