5216 search results - page 520 / 1044 » Planning as Model Checking |
183
click to vote
ATAL
2004
Springer
16 years 9 days ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
176
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
195
click to vote
AGI
2008
15 years 8 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
168
click to vote
ICAI
2008
15 years 8 months ago
2008
The ability to follow man-made paths and roads is an important capability for a number of robotic tasks. To operate in outdoor environments designed for humans, autonomous robots m...
156
click to vote
MIE
2008
15 years 8 months ago
2008
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...