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