1316 search results - page 170 / 264 » Intelligent Agents: Issues and Logics |
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
KR
2004
Springer
15 years 3 months ago
2004
Springer
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
FUZZY
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we describe a distributed retrieval system for medical images based on a Human Centered Virtual Machine (HCVM). HCVM layered architecture allows indexing and retrieva...
EUSFLAT
2007
14 years 11 months ago
2007
Agriculture in Russia has some specifics such as large distribution, inclement climate and big market competition. Appearing of resources-economy, precision and management technol...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...