Aleph

swMATH12108MaRDI QIDQ24041FDOQ24041

Author name not available (Why is that?)

Official website: http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph.html

Cited In (only showing first 100 items - show all)

• Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
• DeepCoder
• Learning higher-order logic programs
• Learning to rank the distinctiveness of behaviour in serial offending
• Data and task parallelism in ILP using mapreduce
• Consensus-based modeling using distributed feature construction with ILP
• On the use of stochastic local search techniques to revise first-order logic theories from examples
• The complexity and generality of learning answer set programs
• Nonmonotonic abductive inductive learning
• An investigation into feature construction to assist word sense disambiguation
• Parallel ILP for distributed-memory architectures
• Iterative learning of answer set programs from context dependent examples
• Louise
• FOIL-D
• FORS
• ProbLog
• PITA
• YAP-Prolog
• ILP :- Just Trie It
• FACTORIE
• kLog
• Pengines
• ProDiGe
• SPOOK
• PolyFARM
• MYDDAS
• ProGolem
• Subsumer
• CDK
• Introducing possibilistic logic in ILP for dealing with exceptions
• An empirical study of on-line models for relational data streams
• Explaining mixture models through semantic pattern mining and banded matrix visualization
• GAP
• SWI-Prolog
• cplint
• proSQLite
• MCINTYRE
• kFOIL
• Bio2RDF
• FOIL
• GOLEM
• plml
• Real
• April
• Orange4WS
• GDL
• Biomine
• Fr-ONT
• NCDawareRank
• NetSDM
• PL-ranking
• SegMine
• SEGS
• Senseval
• Wikibase
• TerpreT
• PIDoc
• VICKEY
• Metagol
• Metaopt
• TopLog: ILP Using a Logic Program Declarative Bias
• Advances in integrative statistics for logic programming
• kLog: a language for logical and relational learning with kernels
• First order random forests: Learning relational classifiers with complex aggregates
• REVEAL
• FactorBase
• TotemBioNet
• Formulating the template ILP consistency problem as a constraint satisfaction problem
• The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
• Fast theta-subsumption with constraint satisfaction algorithms
• nFOIL
• Using the bottom clause and mode declarations in FOL theory revision from examples
• FOLD-R++
• QuickFOIL
• sCASP
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• ProGolem: a system based on relative minimal generalisation
• Lifted graphical models: a survey
• Gradient-based boosting for statistical relational learning: the relational dependency network case
• Ultra-strong machine learning: comprehensibility of programs learned with ILP
• Learning from positive and unlabeled data: a survey
• FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
• NetSDM: semantic data mining with network analysis
• Subsumer: a Prolog \(\theta\)-subsumption engine
• Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves
• Learning goal hierarchies from structured observations and expert annotations
• Quantitative pharmacophore models with inductive logic programming
• Learning explanations for biological feedback with delays using an event calculus
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Inductive logic programming at 30
• Using SWISH to realize interactive web-based tutorials for logic-based languages
• Structure learning for relational logistic regression: an ensemble approach
• Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment
• Induction and exploitation of subgoal automata for reinforcement learning
• Semi-supervised online structure learning for composite event recognition
• Title not available (Why is that?)
• Automated generation of control concepts annotation rules using inductive logic programming. System description
• Lifting symmetry breaking constraints with inductive logic programming
• Learning programs by learning from failures
• FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data

This page was built for software: Aleph