878 search results - page 18 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
123
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
159
click to vote
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
155
Voted
DALT
2005
Springer
15 years 7 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...
100
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
105
click to vote
ATAL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...