1930 search results - page 38 / 386 » Learning to Solve QBF |
IFIP3
2008
13 years 10 months ago
2008
The Web is widely used, in educational settings, typically as a repository of contents to be learned. Within this approach, the Web-searching process tends to be perceived merely a...
AAAI
1998
13 years 10 months ago
1998
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
AIPS
1994
13 years 10 months ago
1994
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
AIED
2011
Springer
2011
Springer
Learning by Teaching SimStudent - An Initial Classroom Baseline Study Comparing with Cognitive Tutor
13 years 18 days ago
: This paper describes an application of a machine-learning agent, SimStudent, as a teachable peer learner that allows a student to learn by teaching. SimStudent has been integrate...
AIED
2007
Springer
14 years 3 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...