3729 search results - page 39 / 746 » On Formal Modeling of Agent Computations |
SYNASC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
100
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
101
click to vote
AAAI
1994
15 years 1 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
108
click to vote
LOGCOM
1998
14 years 11 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...