116 search results - page 3 / 24 » Nonseparability of Shared Intentionality |
FOMI
2011
12 years 5 months ago
2011
Abstract. In this paper three perspectives are presented on defining the general notion of technical artifacts in formal ontologies. These perspectives share two intuitions: that ...
ICONIP
2010
13 years 3 months ago
2010
Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, and on the other hand interaction with others with possibly d...
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Peer-to-Peer, or P2P sharing has gone through fast growth in recent years and drawn the interests of Information Systems (IS) researchers. However, there is a lack of empirical st...
IKE
2010
13 years 3 months ago
2010
- The eras in which learning was limited to a special class of people has far reached its end. Rapid changes of information technologies, which affect all aspects of today's l...