Sciweavers

134 search results - page 13 / 27
» Computationally Grounded Theories of Agency
Sort
View
PDC
2004
ACM
14 years 2 months ago
The promise and perils of a participatory approach to developing an open source community learning network
This paper describes and analyses the early developmental stages of a community learning network based in an urban community and social service agency. With government funding, th...
Robert Luke, Andrew Clement, Randall Terada, Domin...
CADE
1998
Springer
14 years 25 days ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
ENC
2004
IEEE
14 years 9 days ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 4 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
CHI
2010
ACM
14 years 3 months ago
The effect of audience design on labeling, organizing, and finding shared files
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
Emilee Rader