502 search results - page 33 / 101 » Development and Application of a Formal Agent Framework |
112
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
136
click to vote
IJAOSE
2008
15 years 4 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
187
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
162
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
130
click to vote
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...