Sciweavers

1143 search results - page 145 / 229
» Prospective Logic Agents
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
CEC
2007
IEEE
16 years 21 days ago
An experimental study of the emergent behaviors of self-organized agent communities
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
Shufeng Wang, Hong Zhu
ATAL
2005
Springer
15 years 12 months ago
The use of emotions to create believable agents in a virtual environment
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
Karthi Selvarajah, Debbie Richards
ENC
2004
IEEE
15 years 10 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
ECAI
2006
Springer
15 years 10 months ago
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
Benoit Gaudou, Andreas Herzig, Dominique Longin, M...