813 search results - page 41 / 163 » Correctness Properties for Multiagent Systems |
117
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. We identify two properties of ...
123
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
136
click to vote
AAAI
2006
15 years 5 months ago
2006
Coordinating multiple agents that need to perform a sequence of actions to maximize a system level reward requires solving two distinct credit assignment problems. First, credit m...
131
click to vote
IDC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
117
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...