1072 search results - page 18 / 215 » Knowledge and information distribution leveraged by intellig... |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In Open Multi-Agent Systems (OMAS), deciding with whom to interact is a particularly difficult task for an agent, as repeated interactions with the same agents are scarce, and rep...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...