10568 search results - page 343 / 2114 » Computer Intelligence and Formalization |
144
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
125
click to vote
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
121
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
125
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...