3729 search results - page 19 / 746 » On Formal Modeling of Agent Computations |
100
click to vote
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
106
click to vote
LOGCOM
2002
14 years 11 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
126
click to vote
GAMEON
2003
15 years 1 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...