3729 search results - page 56 / 746 » On Formal Modeling of Agent Computations |
127
click to vote
JAIR
2008
14 years 11 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
100
click to vote
IJIS
2007
14 years 11 months ago
2007
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
131
click to vote
OOIS
1997
Springer
15 years 3 months ago
1997
Springer
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...