Sciweavers

3818 search results - page 41 / 764
» Learning from Order Examples
Sort
View
ICML
1989
IEEE
15 years 10 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
COLING
2010
15 years 1 months ago
A Learnable Constraint-based Grammar Formalism
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
Smaranda Muresan
ILP
2004
Springer
15 years 11 months ago
On the Effect of Caching in Recursive Theory Learning
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
Margherita Berardi, Antonio Varlaro, Donato Malerb...
ITS
2000
Springer
78views Multimedia» more  ITS 2000»
15 years 9 months ago
Further Results from the Evaluation of an Intelligent Computer Tutor to Coach Self-Explanation
We present further results on the educational effectiveness of an intelligent computer tutor that helps students learn effectively from examples by coaching self-explanation
Cristina Conati, Kurt VanLehn
ICALT
2006
IEEE
16 years 1 days ago
The Generation of E-Learning Exercise Problems from Subject Ontologies
The teaching/ learning of cognitive skills, such as problem-solving, is an important goal in most forms of education. In well-structured subject areas certain exercise problem typ...
Edmond Holohan, Mark Melia, Declan McMullen, Claus...