relational-logic

There are 0 repository under relational-logic topic.

• cair / tmu

  Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.

  tsetlin-machineconvolutionregressionmulti-outputpattern-recognitionpropositional-logicrelational-logiccudagpuincrementalautoencoderincremental-computationabsorbing-statessparse
  Language:Python 158

• martinsvat / Pruning-Hypotheses

  Implementation of pruning hypothesis space using domain theories -- M. Svatoš, G. Šourek, F. Zeležný, S. Schockaert, and O. Kuželka: Pruning Hypothesis Spaces Using Learned Domain Theories, ILP'17

  first-order-logicpruningsearch-algorithmrelational-logicrule-learning
  Language:Java 1