913 search results - page 45 / 183 » Formal Agent Development: Framework to System |
126
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
158
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
151
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
E-Learning is a fast, just-in-time, and non-linear learning process, which is now widely applied in distributed and dynamic environments such as on the World Wide Web. However, it...
150
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
139
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...