Pages that link to "Item:Q1356228"
From MaRDI portal
The following pages link to Foundations of inductive logic programming (Q1356228):
Displaying 50 items.
- GAMoN: discovering \(M\)-of-\(N^{\{\neg, \lor\}}\) hypotheses for text classification by a lattice-based genetic algorithm (Q359980) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Block-wise construction of tree-like relational features with monotone reducibility and redundancy (Q413862) (← links)
- Reference classes and relational learning (Q432965) (← links)
- ILP turns 20. Biography and future challenges (Q439010) (← links)
- Inverse subsumption for complete explanatory induction (Q439023) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Unifying logic, topology and learning in parametric logic (Q817837) (← links)
- Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules (Q882801) (← links)
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (Q894695) (← links)
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs (Q894703) (← links)
- Top-down induction of first-order logical decision trees (Q1274285) (← links)
- Mind change complexity of learning logic programs (Q1603595) (← links)
- Consensus-based modeling using distributed feature construction with ILP (Q1640573) (← links)
- Parallel algorithms for enumerating closed patterns from multi-relational data (Q1800394) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- Learning closed Horn expressions (Q1854564) (← links)
- Learning elementary formal systems with queries. (Q1874227) (← links)
- Learning power and language expressiveness. (Q1874277) (← links)
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)
- Using the bottom clause and mode declarations in FOL theory revision from examples (Q1959495) (← links)
- An investigation into feature construction to assist word sense disambiguation (Q1959499) (← links)
- Concept learning in description logics using refinement operators (Q1959551) (← links)
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic (Q1978459) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- Top program construction and reduction for polynomial time meta-interpretive learning (Q2051277) (← links)
- Learning programs by learning from failures (Q2051282) (← links)
- Learning explanations for biological feedback with delays using an event calculus (Q2102315) (← links)
- Meta-interpretive learning as metarule specialisation (Q2102414) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- Inductive logic programming at 30 (Q2127222) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- Mining closed patterns in relational, graph and network data (Q2248524) (← links)
- Meta-interpretive learning: application to grammatical inference (Q2251448) (← links)
- Learning efficient logic programs (Q2425246) (← links)
- Improving inductive logic programming by using simulated annealing (Q2476777) (← links)
- The subsumption lattice and query learning (Q2581757) (← links)
- Logic-based machine learning (Q2734943) (← links)
- (Q2766588) (← links)
- Foundations of Logic Programming in Hybridised Logics (Q2787338) (← links)
- Learning Inference by Induction (Q2827477) (← links)
- Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming (Q3506423) (← links)
- Brave Induction (Q3543278) (← links)
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules (Q3577710) (← links)
- Inductive Logic Programming in Databases: From <scp>Datalog</scp> to (Q3577712) (← links)
- Inductive Negotiation in Answer Set Programming (Q3601788) (← links)
- On Generalization and Subsumption for Ordered Clauses (Q3617035) (← links)
- (Q4004339) (← links)
- (Q4636969) (← links)
- (Q4843403) (← links)
