• UCI-ml

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

  • 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 self-learning 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 conflict-driven 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 post-secondary 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 classifier-based 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 conflict-driven clause-learning 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 theory-specific 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 lattice-based and instance-based learning (IBL) techniques, is motivated and developed ... theory called IGLUE that significantly improved both the complexity and accuracy of lattice-based learning ... importance of instance-based 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 self-regulation. 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...