10568 search results - page 437 / 2114 » Computer Intelligence and Formalization |
163
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
134
click to vote
WIA
2000
Springer
15 years 8 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
140
click to vote
AAAI
2007
15 years 7 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
AAAI
2008
15 years 7 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
158
click to vote
AAAI
2007
15 years 7 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...