Sciweavers

1806 search results - page 217 / 362
» Cognitive agent programming
Sort
View
ATAL
2010
Springer
15 years 4 months ago
Flexible task resourcing for intelligent agents
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
Murat Sensoy, Wamberto Weber Vasconcelos, Timothy ...
AIEDU
2004
151views more  AIEDU 2004»
15 years 3 months ago
Children's Interactions with Animated Agents in an Intelligent Tutoring System
Although animated pedagogical agents are frequently found in intelligent tutoring systems and interactive learning environments, their effect on users' attitudes and learning ...
Judy Robertson, Beth Cross, Hamish Macleod, Peter ...
121
Voted
ICFP
1999
ACM
15 years 7 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
JAPLL
2007
78views more  JAPLL 2007»
15 years 3 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 9 months ago
What Are the Ants Doing? Vision-Based Tracking and Reconstruction of Control Programs
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
Magnus Egerstedt, Tucker R. Balch, Frank Dellaert,...