Sciweavers

68 search results - page 4 / 14
» Mathematical Induction in Otter-Lambda
Sort
View
ML
2006
ACM
143views Machine Learning» more  ML 2006»
13 years 7 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton
COGSCI
2000
50views more  COGSCI 2000»
13 years 6 months ago
Solving inductive reasoning problems in mathematics: not-so-trivial pursuit
Lisa A. Haverty, Kenneth R. Koedinger, David Klahr...
ICDM
2008
IEEE
112views Data Mining» more  ICDM 2008»
14 years 1 months ago
Supervised Inductive Learning with Lotka-Volterra Derived Models
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
ICCBR
2005
Springer
14 years 15 days ago
CBR for Modeling Complex Systems
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
Rosina Weber, Jason M. Proctor, Ilya Waldstein, An...