The following pages link to (Q4004339):
Displaying 29 items.
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- ILP turns 20. Biography and future challenges (Q439010) (← links)
- Measures of ruleset quality for general rules extraction methods (Q962905) (← links)
- The development, validation and implementation of knowledge-based systems (Q1268281) (← links)
- Machine learning techniques to make computers easier to use (Q1274766) (← links)
- Iterative versionspaces (Q1337690) (← links)
- Knowledge-based artificial neural networks (Q1342219) (← links)
- First-order \(jk\)-clausal theories are PAC-learnable (Q1342231) (← links)
- The learnability of description logics with equality constraints (Q1342732) (← links)
- Logical settings for concept-learning (Q1389603) (← links)
- Learnability of quantified formulas. (Q1426470) (← links)
- Formal methods in pattern recognition: A review (Q1579483) (← links)
- The complexity of theory revision (Q1606294) (← links)
- Fuzzy hypotheses testing in the framework of fuzzy logic (Q1885722) (← links)
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic (Q1978459) (← links)
- Propositionalization and embeddings: two sides of the same coin (Q2203327) (← links)
- Lifted graphical models: a survey (Q2347709) (← links)
- Counting for satisfiability by inverting resolution (Q2386352) (← links)
- First order random forests: Learning relational classifiers with complex aggregates (Q2433184) (← links)
- Propositionalization-based relational subgroup discovery with RSD (Q2491365) (← links)
- Relational and Semantic Data Mining (Q3449187) (← links)
- Measures of Ruleset Quality Capable to Represent Uncertain Validity (Q3524950) (← links)
- Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples (Q3543271) (← links)
- A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases (Q3543279) (← links)
- Weakening the language bias in LINUS (Q4290132) (← links)
- Predicate invention and utilization (Q4290133) (← links)
- Non-monotonic characterization of induction and its application to inductive learning (Q4853397) (← links)
- (Q5091140) (← links)
- A Comprehensive Framework for Learning Declarative Action Models (Q5094057) (← links)