240 search results - page 38 / 48 » A Logic for Reasoning about Rational Agents |
133
click to vote
FMSD
2002
15 years 5 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
204
click to vote
DALT
2005
Springer
15 years 11 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
160
click to vote
MMMACNS
2005
Springer
15 years 11 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
145
click to vote
DLOG
2008
15 years 8 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
177
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...