1993 search results - page 111 / 399 » On Action Theory Change |
101
Voted
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
108
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
119
Voted
CLIMA
2010
15 years 2 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
84
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
In this study, we draw on network centrality concepts and coordination theory to understand how project team members interact when working towards a common goal. A text-mining app...
103
Voted
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...