2638 search results - page 54 / 528 » Frameworks for Reasoning about Agent Based Systems |
ENTCS
2010
14 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
DEON
2006
Springer
15 years 1 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
AIIDE
2008
15 years 2 days ago
2008
Emergent narrative refers to simulation-based systems in which stories emerge from the autonomous interactions among character agents and/or the human player. Despite its advantag...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
CIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...