Sciweavers

1134 search results - page 27 / 227
» Sequential Inductive Learning
Sort
View
COGSR
2011
105views more  COGSR 2011»
13 years 4 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
TPHOL
1999
IEEE
14 years 2 months ago
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
Stefan Berghofer, Markus Wenzel
IEEEICCI
2002
IEEE
14 years 2 months ago
Quasi-Morphism and Comprehensibility of Rules in Inductive Learning
We present a model of creating a hierarchical set of rules that encode generalizations and exceptions derived from induction learning. The rules use the input features directly an...
Wiphada Wettayaprasit, Chidchanok Lursinsap, Chee-...
ADMA
2010
Springer
248views Data Mining» more  ADMA 2010»
13 years 8 months ago
Classification Inductive Rule Learning with Negated Features
This paper reports on an investigation to compare a number of strategies to include negated features within the process of Inductive Rule Learning (IRL). The emphasis is on generat...
Stephanie Chua, Frans Coenen, Grant Malcolm
SCESM
2006
ACM
269views Algorithms» more  SCESM 2006»
14 years 3 months ago
Inferring operational requirements from scenarios and goal models using inductive learning
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
Dalal Alrajeh, Alessandra Russo, Sebastián ...