GOLEM
From MaRDI portal
GOLEM Q36447
Cited in
(56)- QG/GA: a stochastic search for Progol
- Structured machine learning: the next ten years
- Parallel ILP for distributed-memory architectures
- A note on batch and incremental learnability
- Machine learning techniques to make computers easier to use
- Logical debugging
- First-order \(jk\)-clausal theories are PAC-learnable
- The learnability of description logics with equality constraints
- Louise
- An efficient multiple predicate learner
- Logical settings for concept-learning
- SeqLog
- CrossMine
- TopLog
- Ultra-strong machine learning: comprehensibility of programs learned with ILP
- FORS
- Toward effective knowledge acquisition with first-order logic induction.
- Learning closed Horn expressions
- The appropriateness of predicate invention as bias shift operation in ILP
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- Inductive logic programming at 30
- Logical reduction of metarules
- Aleph
- Learning efficient logic programs
- Relational IBL in classical music
- Complexity parameters for first order classes
- Exploiting domain knowledge to detect outliers
- E-generalization using grammars
- Generalizing predicates with string arguments
- PolyFARM
- ProGolem
- Introducing new predicates to model scientific revolution
- Stochastic refinement
- RainForest
- NetKit
- ProGolem: a system based on relative minimal generalisation
- Analytical Inductive Functional Programming
- FOIL
- StarBrowser
- scientific article; zbMATH DE number 67803 (Why is no real title available?)
- Wikibase
- Inductive equivalence in clausal logic and nonmonotonic logic programming
- scientific article; zbMATH DE number 622664 (Why is no real title available?)
- VICKEY
- ILP turns 20. Biography and future challenges
- Data and task parallelism in ILP using mapreduce
- lpeq
- DLPEQ
- Metagol
- Metaopt
- AIspace
- Inductive logic programming
- Pac-learning non-recursive Prolog clauses
- Pac-learning non-recursive Prolog clauses
- Learning logic programs with structured background knowledge
This page was built for software: GOLEM
