Learning orthogonal F-Horn formulas
From MaRDI portal
Recommendations
- Learning orthogonal F-Horn formulas
- Construction and learnability of canonical Horn formulas
- Learning function-free Horn expressions
- Learning definite Horn formulas from closure queries
- Exact learning: on the boundary between Horn and CNF
- Learning with queries inside the class of unate \(k\)-quasi-Horn formulas
- Canonical Horn representations and query learning
- Learning closed Horn expressions
- Orthopartitions in knowledge representation and machine learning
- Learning a subclass of \(k\)-quasi-Horn formulas with membership queries
Cites work
Cited in
(9)- Learning with queries inside the class of unate \(k\)-quasi-Horn formulas
- Learning orthogonal F-Horn formulas
- Learning Horn envelopes via queries from language models
- Exact learning: on the boundary between Horn and CNF
- Learning conjunctions of Horn clauses
- Learning a subclass of \(k\)-quasi-Horn formulas with membership queries
- Canonical Horn representations and query learning
- Learning a representation for optimizable formulas
- Learning definite Horn formulas from closure queries
This page was built for publication: Learning orthogonal F-Horn formulas
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1390949)
