878 search results - page 62 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
152
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
159
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
168
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
166
click to vote
ATAL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
160
click to vote
CCIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...