1912 search results - page 257 / 383 » GOAL as a Planning Formalism |
158
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
164
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
182
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
170
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
169
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...