3729 search results - page 35 / 746 » On Formal Modeling of Agent Computations |
IAT
2003
IEEE
15 years 5 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
100
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we propose an efficient mechanism dealing with trust assessment for agent societies, aiming to accurately assess the trustworthiness of the collaborating agents. I...
EXPERT
2008
14 years 12 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...