2712 search results - page 127 / 543 » Multiagent Systems |
139
Voted
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
133
Voted
JIISIC
2001
15 years 2 months ago
2001
We have developed a distributed DSS capable to working in a dynamic way. That is, when a domain of an organization needs a new kind of information, the system looks for this infor...
96
Voted
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
108
click to vote
GFKL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
114
Voted
FAABS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...