291 search results - page 2 / 59 » Building theory in the sciences of the artificial |
AIED
2007
Springer
2007
Springer
Standard-Compliant Scenario Building with Theoretical Justification in a Theory-Aware Authoring Tool
13 years 12 months ago
Nowadays standard technologies play important roles in enhancing sharability, reusability and interoperability of learning contents. However, there is a lack of pedagogical justifi...
AAI
2005
13 years 5 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
ALIFE
2007
13 years 5 months ago
2007
This review essay surveys recent literature in the history of science, literary theory, anthropology, and art criticism dedicated to exploring how the artificial life enterprise ha...
AISC
2010
Springer
13 years 8 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
AISC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...