Sciweavers

475 search results - page 68 / 95
» An Overview of Intelligent Tutoring Systems
Sort
View
ICWL
2007
Springer
15 years 5 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
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 4 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
ITS
2010
Springer
163views Multimedia» more  ITS 2010»
15 years 1 months ago
Correcting Scientific Knowledge in a General-Purpose Ontology
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...
Michael Lipschultz, Diane J. Litman
ANLP
1997
103views more  ANLP 1997»
15 years 12 days ago
The NLP Role in Animated Conversation for CALL
Language learning is a relatively new application for natural language processing (NLP) and for intelligent tutoring and learning environments (ITLEs). NLP has a crucial role to p...
Michael Schoelles, Henry Hamburger
IJMMS
2007
145views more  IJMMS 2007»
14 years 11 months ago
Automatic prediction of frustration
Predicting when a person might be frustrated can provide an intelligent system with important information about when to initiate interaction. For example, an automated Learning Co...
Ashish Kapoor, Winslow Burleson, Rosalind W. Picar...