1746 search results - page 197 / 350 » On the expressiveness of interaction |
197
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
169
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
165
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
207
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
184
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...