The following pages link to Clausal discovery (Q678587):
Displaying 13 items.
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Constraint acquisition (Q511791) (← links)
- Logical settings for concept-learning (Q1389603) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Classifier-based constraint acquisition (Q2043441) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Mining closed patterns in relational, graph and network data (Q2248524) (← links)
- Semi-supervised online structure learning for composite event recognition (Q2425248) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- Sequential inference with reliable observations: Learning to construct force-dynamic models (Q2457600) (← links)
- Markov logic networks (Q2491364) (← links)
- Propositionalization-based relational subgroup discovery with RSD (Q2491365) (← links)
