1120 search results - page 76 / 224 » A Formal Framework for Interactive Agents |
171
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes an evolutionary framework where a network service is created from a group of autonomous agents that interact and evolve. Agents in our framework are capable of ...
133
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
157
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
156
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...