878 search results - page 18 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
100
click to vote
SIGSOFT
2005
ACM
16 years 16 days 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...
138
click to vote
ICNC
2005
Springer
15 years 5 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...
132
click to vote
DALT
2005
Springer
15 years 5 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...
SYNTHESE
2008
14 years 11 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...
ATAL
1998
Springer
15 years 4 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...