3552 search results - page 644 / 711 » Proof theory in the abstract |
167
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
166
click to vote
PODC
1991
ACM
15 years 10 months ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are deļ¬ned and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is deļ...
194
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
188
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
156
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...