3787 search results - page 58 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
AAAI
2008
15 years 2 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
117
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
109
click to vote
CIA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a method to improve the positive examples selection by teaching agents in a multi-agent system in which a team of agent peers teach concepts to a learning agen...
WWW
2001
ACM
16 years 16 days ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
111
click to vote
AIEDU
2005
14 years 11 months ago
2005
This paper describes the design and empirical validation of three distinct pedagogical agent roles (Expert, Motivator, and Mentor) for college students within the MIMIC (Multiple I...