5198 search results - page 49 / 1040 » A Logic of Agent Programs |
GC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
ATAL
2010
Springer
15 years 8 days ago
2010
Springer
100
click to vote
ATAL
2006
Springer
15 years 2 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...
106
Voted
CLIMA
2004
15 years 16 days ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...