3729 search results - page 204 / 746 » On Formal Modeling of Agent Computations |
189
click to vote
RSP
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
184
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
144
click to vote
AAAI
2008
15 years 8 months ago
2008
In complex strategic situations decision-making agents interact with many other agents and have access to many pieces of information throughout their play. This usually leads to g...
132
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
197
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...