Sciweavers

3787 search results - page 111 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
106
Voted
ICWL
2007
Springer
15 years 8 months ago
Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
Nguyen-Thinh Le, Wolfgang Menzel
WLP
2004
Springer
15 years 7 months ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
AUSAI
2005
Springer
15 years 7 months ago
Model Checking for PRS-Like Agents
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
Wayne Wobcke, Marc Chee, Krystian Ji
101
Voted
JCIT
2008
104views more  JCIT 2008»
15 years 1 months ago
Research and Design on Personalized Learning System Based on Mobile Agent
In view of students' individual difference in the learning process, in this paper we propose a personalized learning system, to which intelligent Agent technique and case-bas...
Yang He-biao, Chen Yu-kun, Wang Jue, Liu Zhi-hong
AAAI
2000
15 years 3 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels