Pages that link to "Item:Q1944948"
From MaRDI portal
The following pages link to Learning a subclass of \(k\)-quasi-Horn formulas with membership queries (Q1944948):
Displaying 5 items.
- Learning with queries inside the class of unate \(k\)-quasi-Horn formulas (Q264959) (← links)
- Learning sets of antecedent-restricted functional and multivalued dependencies with queries (Q503461) (← links)
- Learning definite Horn formulas from closure queries (Q507524) (← links)
- Learning conjunctions of Horn clauses (Q1207302) (← links)
- Learning orthogonal F-Horn formulas (Q1390949) (← links)
