913 search results - page 48 / 183 » Formal Agent Development: Framework to System |
124
click to vote
ISTA
2003
15 years 5 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
153
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
120
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
145
click to vote
ARGMAS
2008
Springer
15 years 6 months ago
2008
Springer
Intelligent and autonomous software agents may engage in dialogue and argument with one another, and much recent research has considered protocols, architectures and frameworks for...
129
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...