Sciweavers

3729 search results - page 2 / 746
» On Formal Modeling of Agent Computations
Sort
View
AOSE
2005
Springer
13 years 10 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...
CLIMA
2007
13 years 6 months ago
Formal Modelling of Emotions in BDI Agents
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
David Pereira, Eugénio C. Oliveira, Nelma M...
FAABS
2000
Springer
13 years 8 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
JAIR
2007
117views more  JAIR 2007»
13 years 4 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
IEAAIE
2009
Springer
13 years 11 months ago
A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
Jan Treur