Aleph
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Incorporating symbolic domain knowledge into graph neural networks
- Gradient-based boosting for statistical relational learning: the relational dependency network case
- Logical explanations for deep relational machines using relevance information
- Lifted graphical models: a survey
- ProGolem: a system based on relative minimal generalisation
- 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
- Constructing generative logical models for optimisation problems using domain knowledge
- 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
- Learning higher-order logic programs
- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Learning to rank the distinctiveness of behaviour in serial offending
- Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment
- Structure learning for relational logistic regression: an ensemble approach
- Data and task parallelism in ILP using mapreduce
- Consensus-based modeling using distributed feature construction with ILP
- Nonmonotonic abductive inductive learning
- The complexity and generality of learning answer set programs
- On the use of stochastic local search techniques to revise first-order logic theories from examples
- An investigation into feature construction to assist word sense disambiguation
- Parallel ILP for distributed-memory architectures
- SOLAR
- SeqLog
- TopLog
- FOIL-D
- FORS
- ProbLog
- PITA
- YAP-Prolog
- FACTORIE
- kLog
- Pengines
- ProDiGe
- SPOOK
- PolyFARM
- MYDDAS
- ProGolem
- Subsumer
- CDK
- 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
- REVEAL
- FactorBase
- Iterative learning of answer set programs from context dependent examples
- Semi-supervised online structure learning for composite event recognition
- Induction and exploitation of subgoal automata for reinforcement learning
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- Introducing possibilistic logic in ILP for dealing with exceptions
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- Lifting symmetry breaking constraints with inductive logic programming
- Explaining mixture models through semantic pattern mining and banded matrix visualization
- ILP :- Just Trie It
- An empirical study of on-line models for relational data streams
- nFOIL
- Advances in integrative statistics for logic programming
- kLog: a language for logical and relational learning with kernels
- Learning programs by learning from failures
- TopLog: ILP Using a Logic Program Declarative Bias
- First order random forests: Learning relational classifiers with complex aggregates
- Formulating the template ILP consistency problem as a constraint satisfaction problem
- Inductive general game playing
- Propositionalization and embeddings: two sides of the same coin
- DeepCoder
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
This page was built for software: Aleph
