291 search results - page 8 / 59 » Building theory in the sciences of the artificial |
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
BVAI
2007
Springer
14 years 1 months ago
2007
Springer
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
DIAGRAMS
2010
Springer
13 years 8 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
AGI
2008
13 years 9 months ago
2008
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...