Sciweavers

3818 search results - page 41 / 764
» Learning from Order Examples
Sort
View
113
Voted
ICML
1989
IEEE
15 years 4 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
108
Voted
COLING
2010
14 years 7 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 6 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 4 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
81
Voted
ICALT
2006
IEEE
15 years 6 months 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...