Sciweavers

3406 search results - page 121 / 682
» Modelling situations in intelligent agents
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
DALT
2005
Springer
15 years 12 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
IAT
2006
IEEE
16 years 14 days ago
Multi-Agent Coordination and Cooperation through Classical Planning
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...
Yannis Dimopoulos, Pavlos Moraitis
ATAL
2006
Springer
15 years 10 months ago
Robust mechanisms for information elicitation
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
Aviv Zohar, Jeffrey S. Rosenschein
ESAW
2005
Springer
15 years 12 months ago
A Role Model for Description of Agent Behavior and Coordination
This paper presents a role model implementation, JAWIRO (JAva
Yunus Emre Selçuk, Nadia Erdogan