4290 search results - page 130 / 858 » Formal Approaches to Teamwork |
166
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
151
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
170
click to vote
AAAI
2006
15 years 8 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
207
click to vote
ATAL
2005
Springer
16 years 9 hour ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
319
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...