
UCIml
 Referenced in 3379 articles
[sw04074]
 Machine Learning Repository is a collection of databases, domain theories, and data generators that...

LSSVMlab
 Referenced in 26 articles
[sw07367]
 introduced within the context of statistical learning theory and structural risk minimization. In the methods ... Fisher discriminant analysis and extensions to unsupervised learning, recurrent networks and control are available. Robustness...

MaLeCoP
 Referenced in 23 articles
[sw07197]
 Learning Connection Prover. Probabilistic guidance based on learned knowledge is added to the connection tableau ... many problems in a large complex theory, learning from successful solutions is then used ... further construction and training of selflearning AI mathematical experts on large mathematical libraries, some ... evaluated on the MPTP Challenge large theory benchmark...

Clingcon
 Referenced in 39 articles
[sw09892]
 from SMT and uses conflictdriven learning and theory propagation for the CSP solver...

shap
 Referenced in 49 articles
[sw30901]
 output of any machine learning model. SHAP connects game theory with local explanations, uniting several...

MaLARea
 Referenced in 48 articles
[sw10278]
 Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated Reasoning ... SPASS ATP systems) with a machine learning component (now the SNoW system used ... naive Bayesian learning mode). Its intended use is in large theories, i.e. on a large ... cycles of theorem proving followed by machine learning from successful proofs, using the learned information...

ISETL
 Referenced in 20 articles
[sw01370]
 development of an approach to help students learn mathematical concepts at the postsecondary level ... design is based on an emerging theory of learning. Examples are given of uses...

LERS
 Referenced in 122 articles
[sw08637]
 LERS – a system for learning from examples based on rough sets. The paper presents ... usage of rough set theory principle. Rough set theory is especially well suited to deal ... choice to use the machine learning approach or the knowledge acquisition approach. In the first...

PyMVPA
 Referenced in 6 articles
[sw15259]
 Drawing on the field of statistical learning theory, these new classifierbased analysis techniques possess ... interface with the wealth of existing machine learning packages. We present the framework in this...

GrInvIn
 Referenced in 8 articles
[sw04703]
 optimally support the user in learning graph theory by means of examples and by experimenting...

FOIL
 Referenced in 31 articles
[sw24694]
 order learning system that uses information in a collection of relations to construct theories expressed...

PDE2D
 Referenced in 49 articles
[sw04270]
 Readers gain a thorough understanding of the theory underlying themethods presented in the text ... implementing the methods, culminating in readers learning how to write programs using FORTRAN90 and MATLAB ... chapter of the text presents the basic theory underlying the finite element method. Following...

MathCheck
 Referenced in 12 articles
[sw13642]
 inner loop of a conflictdriven clauselearning SAT solver. SAT+CAS systems ... mathematical topic (e.g., graph and number theory, algebra, geometry, etc.) supported by the underlying ... solver, by providing learned clauses that encode theoryspecific lemmas, as it searches...

ARTMAP
 Referenced in 6 articles
[sw03013]
 category hypervolume, 4) using Bayes’ decision theory for learning and inference, and 5) em ploying...

Aleph
 Referenced in 53 articles
[sw12108]
 This document provides reference information on A Learning Engine for Proposing Hypotheses (Aleph). Aleph ... good introduction to the theory, implementation and applications of ILP can be found...

ETPS
 Referenced in 160 articles
[sw06302]
 various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... number of years. Students generally learn to use ETPS fairly quickly just by reading ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...

IGLUE
 Referenced in 4 articles
[sw31671]
 which combines latticebased and instancebased learning (IBL) techniques, is motivated and developed ... theory called IGLUE that significantly improved both the complexity and accuracy of latticebased learning ... importance of instancebased learning through lattice theory...

CoNoteS2
 Referenced in 2 articles
[sw13833]
 significant opportunities to simultaneously promote and examine learning in context. This paper unfolds ... begin by introducing the reader to contemporary theories of selfregulation. We present ... Second, we build on this theory to describe features of CoNoteS2 (a prototype electronic notebook ... intent is to illustrate how contemporary learning theory can be used to drive instructional innovation...

4eMka2
 Referenced in 53 articles
[sw16168]
 does not have to get familiar with theory basis of used analysis model, which ... require less additional time spent to learn...

April
 Referenced in 3 articles
[sw25423]
 negative) and prior knowledge to learn a theory in which positive examples succeed...